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