2013-07-14 - production
16:52	<reedy>	synchronized php-1.22wmf9/extensions/Gadgets/	[production]