I see that "renameuser" is bundled with the latest version of mediawiki but I cannot figure out how to pull it up so I can rename a user. Can someone let me know how? Thank you!
Topic on Project:Support desk
You need to include the extension in your LocalSettings.php file like so:
require_once "$IP/extensions/Renameuser/Renameuser.php";
After that, as a bureaucrat, access the Special:Renameuser
page and you can rename users.
See Extension:Renameuser!