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