2013-05-15 - production
00:28 <maxsem> synchronized php-1.22wmf3/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/#/c/63806/' [production]