2015-05-13 - production
00:12	<ori>	Synchronized php-1.26wmf4/extensions/Gadgets: 7539873979: Update Gadgets for cherry-pick (duration: 00m 12s)	[production]