2013-10-16 - production
20:17	<olivneh>	synchronized php-1.22wmf21/extensions/VisualEditor 'Updating VE for cherry-picks I54602394e & I3b58ce0f4'	[production]