2015-04-10 - production
00:37	<rmoen>	Synchronized php-1.25wmf24/extensions/MobileFrontend/: sync mobilefrontend for cherry-pick (duration: 01m 07s)	[production]