2013-05-09 - production
21:16 <olivneh> synchronized php-1.22wmf3/extensions/WikimediaMessages 'Updating WikimediaMessages to master' [production]