Merge "build: Update eslint-config-wikimedia to 0.7.2"
[lhc/web/wiklou.git] / maintenance / archives / patch-userindex.sql
1 ALTER TABLE /*$wgDBprefix*/user ADD INDEX ( `user_name` );