A MediaWiki extension.
mediawiki.org/wiki/Extension:RedirectManager
The icon is based on the following two OOUI icons:
- OOjs_UI_icon_advanced.svg by User:MGalloway_(WMF), Creative Commons Attribution-Share Alike 3.0 Unported.
- OOjs_UI_icon_articleRedirect-ltr.svg by various authors, MIT license.
