Translations:Manual:$wgServer/15/en

But you are also always strongly recommended to set $wgServer explicitly in your LocalSettings.php as there are other bugs that may arise from allowing it to be auto-detected, such as pollution of the MediaWiki cache.