2013-12-12 - production
00:12	<catrope>	synchronized php-1.23wmf6/extensions/VisualEditor/ 'Cherry-picks'	[production]