2013-05-15 - production
18:00 <maxsem> synchronized php-1.22wmf3/extensions/MobileFrontend/ [production]