2014-03-14 - production
11:09	<maxsem>	synchronized php-1.23wmf17/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/118681'	[production]