SearchResultSet: remove hasResults(), unused
[mediawiki.git] / maintenance / archives / patch-category.sql
blob97a5690dc832df37e7fe13e0adbe1120479705a0
1 CREATE TABLE /*$wgDBprefix*/category (
2   cat_id int unsigned NOT NULL auto_increment,
4   cat_title varchar(255) binary NOT NULL,
6   cat_pages int signed NOT NULL default 0,
7   cat_subcats int signed NOT NULL default 0,
8   cat_files int signed NOT NULL default 0,
10   cat_hidden tinyint(1) unsigned NOT NULL default 0,
12   PRIMARY KEY (cat_id),
13   UNIQUE KEY (cat_title),
15   KEY (cat_pages)
16 ) /*$wgDBTableOptions*/;