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