Thread:Project:Support desk/How to change domain web1111.server1254...org -- mywiki.de/reply

Set $wgServer in LocalSettings.php.