2013-10-29 - production
21:14	<maxsem>	synchronized php-1.23wmf1/extensions/MobileFrontend/ 'https://gerrit.wikimedia.org/r/#/c/92474/'	[production]