2010-06-10 - production
01:03 <tfinc> synchronized php-1.5/extensions/WikimediaMobile/MobileRedirect.js [production]