Extension:AutoRedirect

From mediawiki.org