2013-05-14 - production
20:39 <maxsem> synchronized php-1.22wmf3/extensions/Gadgets/ 'https://gerrit.wikimedia.org/r/#/c/60954/' [production]