[Mediawiki-l] (Temporarily) changing the domain name that MW knows for itself to IP number?

[Ken McDonald]

Our domain name is currently being updated, but may not be fully 
registered for another couple of days. In the interim, is there any way 
to tell MW to supply an IP number, rather than the domain, in the URLs 
it returns? I did the obvious and looked for a setting for this in 
LocalSettings.php, but didn't see anything. Is this info stored in the 
database?

Thanks,
Ken