2014-03-18 - production
23:58	<maxsem>	synchronized php-1.23wmf18/extensions/MobileFrontend/MobileFrontend.php 'https://gerrit.wikimedia.org/r/119416'	[production]