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