A MediaWiki extension to allow "external" redirects.