On Wed, 17 Nov 2004, Brion Vibber wrote:
Yuck. :) You have my sympathies.
Thanks. I realize it's sort of an ugly way to configure things, but I'm
stuck with it.
Something like this in your LocalSettings.php should
work:
if( $_SERVER['HTTP_HOST'] == 'machine.net2.example.com' ) {
$wgServer = 'http://machine.net2.example.com';
}
Note that you should not simply blindly stick the HTTP_HOST value in
$wgServer; this value is supplied by the client and could possibly be
exploited to some effect by a malicious client.
This totally works! Thanks much. As for malicious clients, I might be a
little worried about that but this wiki is firewalled off and protected by
.htaccess besides. Strictly internal stuff.
I hate to hit you up for more information considering how helpful you've
been already, but I notice you're the author of the importUseMod php
script included in the mediawiki distribution. I've got a UseMod wiki I'm
trying to upgrade to mediawiki, but this script says it's no longer
accurate for a UseMod upgrade. Is there a better way one can import
UseMod content into Mediawiki? Thanks much.
jf