[Mediawiki-l] Setting wgServerName

[Ben Bullock]

Um, following Brion's advice I upgraded to 1.6.7.

This reveals another problem. My URLs used to come out strangely, and
I was told by my web hosts to use $_SERVER['HTTP_HOST'] rather than
$_SERVER['SERVER_NAME'] for $wgServerName. But, to get that right, I
had to edit DefaultSettings.php.

Now, I know it says "Do not edit" at the top, and also
DefaultSettings.php is overwritten on upgrades, so this is not ideal.
After yet another upgrade to 1.6.7, I thought I'd put the line about
wgServerName into LocalSettings.php, but it doesn't work. Even if I
add the

$wgServerName = $_SERVER['HTTP_HOST'];

line right after the line "require includes/DefaultSettings.php", it
still gives the "wrong" URL of the site.

I know I'm not supposed to edit DefaultSettings.php, so what should I do?

Thanks for any advice etc.