2015-06-12 - production
15:52	<faidon>	Synchronized wmf-config/CommonSettings.php: hide prefershttps user pref (duration: 00m 13s)	[production]