Change Details

https://www.mediawiki.org/wiki/Extension:Renameuser This extension merged into the MediaWiki core in the wiki’s current MW version.

Per this successful Wikimedia phab task: https://phabricator.wikimedia.org/T27482