Manual:$wgHttpsPort

Details
Port where you have HTTPS running.

Supports HTTPS on non-standard ports.