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