2011-03-03 - production
19:19	<tfinc>	synchronized php-1.17/extensions/WikimediaMobile/MobileRedirect.js	[production]