CustomRedirect v1.0.2

This MediaWiki extension provides API and Hook for implementing custom redirects, bundled with regex redirect and short url.