SearchResultSet: remove hasResults(), unused
[mediawiki.git] / maintenance / archives / patch-ss_total_articles.sql
blobce804ce5e7262d87fa8408b74f458b4853b3bce5
1 -- Faster statistics, as of 1.4.3
3 ALTER TABLE /*$wgDBprefix*/site_stats
4   ADD ss_total_pages bigint default -1,
5   ADD ss_users bigint default -1,
6   ADD ss_admins int default -1;