Translations:Manual:$wgHttpsPort/7/en

integer