Extension:Renameuser
From mediawiki.org
This extension has been archived.
Its functionality was merged into core MediaWiki in MW 1.40; see Manual:Renameuser. It was archived per T331218.
See this page before archivalIts functionality was merged into core MediaWiki in MW 1.40; see Manual:Renameuser. It was archived per T331218.
See this page before archival