Custom version of mediawiki extension Renameuser