Ben Bullock wrote:
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.
Don't!
Set $wgServer in LocalSettings.php instead.
Now, I know it says "Do not edit" at the
top, and also
DefaultSettings.php is overwritten on upgrades,
That's right! This is said because it's true.
Never, EVER edit DefaultSettings.php unless you're development the software
itself. Set your configuration settings *ONLY* in LocalSettings.php.
I know I'm not supposed to edit
DefaultSettings.php, so what should I do?
Edit LocalSettings.php.
-- brion vibber (brion @
pobox.com)