2013-10-03 - production
23:24	<catrope>	synchronized php-1.22wmf19/extensions/VisualEditor 'Update VisualEditor for cherry-picks'	[production]