2013-10-22 - production
23:28	<catrope>	synchronized php-1.22wmf22/extensions/VisualEditor 'Update VisualEditor for cherry-picks'	[production]