Merge branch 'master' of ssh://gerrit.wikimedia.org:29418/mediawiki/core into Wikidata
[lhc/web/wiklou.git] / maintenance / archives / patch-userindex.sql
1 ALTER TABLE /*$wgDBprefix*/user ADD INDEX ( `user_name` );