2013-09-18 - production
23:09	<catrope>	synchronized php-1.22wmf17/extensions/VisualEditor/ 'Deploy cherry-picked bug fixes'	[production]