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