2013-12-12 - production
23:30	<catrope>	synchronized php-1.23wmf6/extensions/VisualEditor 'Update VE for cherry-pick'	[production]