Not in credits yet *pout*. Changing that ..

[mediawiki.git] / maintenance / archives / patch-userindex.sql

 ALTER TABLE `user` ADD INDEX ( `user_name` );