2014-01-03 - production
00:02	<maxsem>	synchronized php-1.23wmf9/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/105108'	[production]