2014-01-10 - production
01:45	<maxsem>	synchronized php-1.23wmf10/extensions/MobileFrontend/ 'https://gerrit.wikimedia.org/r/#/c/106639/'	[production]