2013-10-01 - production
23:24	<catrope>	synchronized php-1.22wmf19/extensions/VisualEditor 'Update VisualEditor for cherry-pick of I7bddcfa9'	[production]