Bug 20489 Configure illegal file characters https://bugzilla.wikimedia.org/show_bug...

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

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