I made a thing
On the weekend I made a new MediaWiki extension: https://www.mediawiki.org/wiki/Extension:RedirectManager
It’s because I kept getting annoyed at having to open a new tab to create a shortcut redirect to the page I was editing, and wanted a simple way to a) see what redirects exist already; b) create new ones without leaving the editing form; and b) have the wiki suggest an available shortcut to the current page. The first two points are working in the RedirectManager extension, and I’ll add the third soon I hope.
I was surprised to find that there’s no existing API for creating redirects, so the extension includes its own. In building that I realised that content types other than wikitext also support redirects — I don’t know if I’ve ever seen them in the wild, but JS and CSS pages can be redirected (and probably other custom types too, although it looks like^1 maybe only wikitext-based ones).
I can now get on with making short URLs for a bunch of things on ArchivesWiki (I’ve been adding links from places like WikiTree to biographies on ArchivesWiki, and sometimes the full page name is a bit long and ugly).