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