2013-10-30 - production
23:30	<maxsem>	synchronized php-1.23wmf1/extensions/MobileFrontend/ 'https://gerrit.wikimedia.org/r/#/c/92676/'	[production]