2013-10-30 - production
23:37	<catrope>	synchronized php-1.23wmf1/extensions/VisualEditor/ 'VE cherry-pick'	[production]