Fix for file cache on PHP 4.1.2. The text string seems to be passed by

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

 ALTER TABLE `user` ADD INDEX ( `user_name` );