The Wikimedia Foundation Mediawiki - RedirectManager Extension