2014-11-16 - production
14:20 <reedy> Synchronized wmf-config/CommonSettings.php: Fix Undefined index: HTTPS (duration: 00m 17s) [production]