2 -- Change the index on user_name to a unique index to prevent
3 -- duplicate registrations from creeping in.
5 -- Run maintenance/userDupes.php or through the updater first
6 -- to clean up any prior duplicate accounts.
11 ALTER TABLE /*$wgDBprefix*/user
13 ADD UNIQUE INDEX user_name(user_name);