2013-10-31 - production
23:32	<reedy>	synchronized php-1.23wmf1/extensions/MobileFrontend 'touch'	[production]