Make HTTPS port configurable
authorawjrichards <arichards@wikimedia.org>
Sun, 11 May 2014 12:24:31 +0000 (14:24 +0200)
committerawjrichards <arichards@wikimedia.org>
Mon, 19 May 2014 20:23:13 +0000 (13:23 -0700)
commit86f68d31d32c1796ee1699421a6c06df824253cc
tree5cd9529d9e6a62ae0a9fe1c813fa2c3a754b9367
parent245cd9ae519fb8e28661f3d1d1835b2447a455e7
Make HTTPS port configurable

Introduces wgHttpsPort configuration variable and makes use of it when
appropriate in wfExpandUrl()

Bug: 65184
Change-Id: I325ee0ff7be16de2a964fb7d8654b88cbd5fe239
includes/DefaultSettings.php
includes/GlobalFunctions.php