Manual:$wgHttpsPort/de-formal

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