Manual:$wgHttpsPort/de

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