$wgHttpsPort should only be used in very special cases