2015-12-10 - production
21:44	<catrope@tin>	Synchronized php-1.27.0-wmf.8/extensions/Gadgets/: Fix MediaWiki:MediaWiki: (duration: 00m 29s)	[production]