Translations:Manual:$wgServer/15/en

But you anyway are always strongly recommended to set  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.