2015-08-05 - production
23:56	<ori>	Synchronized wmf-config/CommonSettings.php: Unset $wgDiff (duration: 00m 12s)	[production]