This extension has been abandoned since 2010.
I updated and significantly improved it, but there doesn't seem to be anyone to review/merge the changes: https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/CreateRedirect/+/562647/
Description
Description
Event Timeline
Comment Actions
Note: the group extension-CreateRedirect (https://gerrit.wikimedia.org/r/#/admin/groups/364,info) is owned by Administrators so you'll have to ask one of them to resolve this request after at least one week since this task was opened.