[Mediawiki-l] Change the default redirection (from ourdomain.com to IP address)