2015-05-07 - production
23:51	<rmoen>	Synchronized php-1.26wmf5/extensions/VisualEditor/: Update VE for cherry-picks (duration: 00m 11s)	[production]