2014-05-20 - production
23:12	<maxsem>	synchronized php-1.24wmf5/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/#/c/134405/'	[production]