2012-10-16 - production
23:41	<logmsgbot_>	maxsem synchronized php-1.21wmf1/extensions/MobileFrontend/ 'https://www.mediawiki.org/wiki/Extension:MobileFrontend/Deployments/2012-10-15%2616'	[production]