Extension:WikiSearch/search facets table

From mediawiki.org

Fields[edit]

page_id[edit]

The article ID of the page that defines this facet.

property[edit]

The name of the facet.

Schema[edit]

mysql> DESCRIBE search_facets;
+-----------------+------------------+------+-----+---------+-------+
| Field           | Type             | Null | Key | Default | Extra |
+-----------------+------------------+------+-----+---------+-------+
| page_id         | integer          | NO   | PRI | NULL    |       |
| property        | varchar(255)     | NO   | PRI | NULL    |       |
+-----------------+------------------+------+-----+---------+-------+