2013-12-02 - production
22:33	<catrope>	synchronized php-1.23wmf5/extensions/VisualEditor 'Update VE for cherry-pick'	[production]