2014-05-20 - production
23:39	<maxsem>	synchronized php-1.24wmf4/extensions/MobileFrontend/ 'https://gerrit.wikimedia.org/r/134517'	[production]