2015-02-20 - production
23:12	<ori>	Synchronized php-1.25wmf17/extensions/VisualEditor: f14dc93302: Update VisualEditor for cherry-picks (duration: 00m 06s)	[production]