2014-12-08 - production
17:54	<ori>	Synchronized wmf-config/CommonSettings.php: Unset \\$wgTidyInternal (duration: 00m 07s)	[production]