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