Translations:Manual:LocalSettings.php/112/en

Prior to that, MediaWiki tried to autodetect the name of the server and $1 was optional, to override the autodetection.