2014-05-08 - production
23:11	<maxsem>	synchronized php-1.24wmf3/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/132299'	[production]