2012-06-12 - production
22:49 <logmsgbot_> maxsem synchronized php-1.20wmf5/extensions/MobileFrontend/ 'Updating MobileFrontend' [production]