MediaWiki:Wikitoldap-old-username-prefix-desc
Jump to navigation
Jump to search
The prefix the old wiki accounts have. You can use the -r option in the 'MoveToMigrationGroup.php' script to rename all current wiki users with this prefix.