Merge "Change a.external padding from 15px to 13px to match Vector"
[lhc/web/wiklou.git] / maintenance / archives / patch-userindex.sql
1 ALTER TABLE /*$wgDBprefix*/user ADD INDEX ( `user_name` );