]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - maintenance/archives/patch-userindex.sql
MediaWiki 1.30.2
[autoinstalls/mediawiki.git] / maintenance / archives / patch-userindex.sql
1  ALTER TABLE /*$wgDBprefix*/user ADD INDEX ( `user_name` );