Merge "docs: Ignore extensions/ and skins/ in mwdocgen.php by default"

[lhc/web/wiklou.git] / maintenance / archives / patch-userindex.sql

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