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