2013-05-15 - production
00:28	<maxsem>	synchronized php-1.22wmf3/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/#/c/63806/'	[production]