Manual:$wgHttpsPort

Details
Port where you have HTTPS running. Supports HTTPS on non-standard ports.