Extension:WikiSearch/search properties table

page_id
The article ID of the page that defines this property.

property
The name of the property.

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