Fix Undefined index: HTTPS

2014-11-16 14:15:47 mw1116 itwikinews: [4706de18] /w/api.php
ErrorException from line 981 of /srv/mediawiki/wmf-config/CommonSettings.php: Undefined index: HTTPS

Change-Id: I2103329803081a5ca5033b8612c86db544b88b58