2013-11-05 - production
03:48	<catrope>	synchronized php-1.23wmf1/extensions/VisualEditor 'Update VE for cherry-pick'	[production]