MediaWiki:Config-using-server

Using server name "$1".