2020-08-22 20:48:51 +00:00
|
|
|
-- This file is automatically generated using maintenance/generateSchemaSql.php.
|
2022-01-20 22:58:10 +00:00
|
|
|
-- Source: tables.json
|
2020-08-22 20:48:51 +00:00
|
|
|
-- Do not modify this file directly.
|
|
|
|
-- See https://www.mediawiki.org/wiki/Manual:Schema_changes
|
|
|
|
CREATE TABLE /*_*/linter (
|
|
|
|
linter_id INTEGER PRIMARY KEY AUTOINCREMENT NOT NULL,
|
|
|
|
linter_page INTEGER UNSIGNED NOT NULL,
|
2022-01-20 22:58:10 +00:00
|
|
|
linter_namespace INTEGER DEFAULT NULL,
|
2020-08-22 20:48:51 +00:00
|
|
|
linter_cat INTEGER UNSIGNED NOT NULL,
|
|
|
|
linter_start INTEGER UNSIGNED NOT NULL,
|
|
|
|
linter_end INTEGER UNSIGNED NOT NULL,
|
2021-09-09 23:41:20 +00:00
|
|
|
linter_params BLOB DEFAULT NULL, linter_template BLOB DEFAULT '' NOT NULL,
|
|
|
|
linter_tag BLOB DEFAULT '' NOT NULL
|
2020-08-22 20:48:51 +00:00
|
|
|
);
|
|
|
|
|
|
|
|
CREATE INDEX linter_page ON /*_*/linter (linter_page);
|
|
|
|
|
2022-01-20 22:58:10 +00:00
|
|
|
CREATE INDEX linter_cat_namespace ON /*_*/linter (linter_cat, linter_namespace);
|
|
|
|
|
2020-08-22 20:48:51 +00:00
|
|
|
CREATE UNIQUE INDEX linter_cat_page_position ON /*_*/linter (
|
|
|
|
linter_cat, linter_page, linter_start,
|
|
|
|
linter_end
|
|
|
|
);
|
2021-09-09 23:41:20 +00:00
|
|
|
|
|
|
|
CREATE INDEX linter_cat_template ON /*_*/linter (linter_cat, linter_template);
|
|
|
|
|
|
|
|
CREATE INDEX linter_cat_tag ON /*_*/linter (linter_cat, linter_tag);
|