2014-08-18 - production
13:23	<reedy>	Synchronized php-1.24wmf17/extensions/ExtensionDistributor: Unbreak ExtensionDistributor (duration: 00m 13s)	[production]