Translations:Manual:$wgForceHTTPS/13/en

It was also backported to 1.31 as part of the MediaWiki 1.31.9 release ($1).