2014-04-30 - production
23:14	<ori>	synchronized php-1.24wmf2/extensions/VisualEditor 'Ibaf0cc823bfe: Update VisualEditor for cherry-picks'	[production]