2015-05-07 - production
23:55	<rmoen>	Synchronized php-1.26wmf4/extensions/VisualEditor/: Update VE with Cherry-picks (duration: 00m 12s)	[production]