2012-05-01 - production
01:33 <logmsgbot_> preilly synchronized php-1.20wmf1/extensions/MobileFrontend/HtmlFormatter.php [production]