2013-02-13 - production
08:52 <maxsem> synchronized php-1.21wmf8/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/#/c/48797/' [production]