2013-12-02 - production
20:46	<maxsem>	synchronized php-1.23wmf5/extensions/MobileFrontend/ 'https://gerrit.wikimedia.org/r/#/c/95636/'	[production]