Current File : /home/jvzmxxx/wiki/maintenance/archives/patch-userindex.sql

 ALTER TABLE /*$wgDBprefix*/user ADD INDEX ( `user_name` );