2011-02-03 - production
23:25	<tfinc>	synchronized php-1.5/extensions/WikimediaMobile/MobileRedirect.js	[production]