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