mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-13 17:57:15 +00:00
ec6f4722aa
linter_cat is now an int ID that points to a row in the new lint_categories table. The mapping between category names and ids is all handled in PHP, and cached in APC. Note that you will need to drop the `linter` table manually and re-run update.php for this to take effect. Change-Id: I369d9b4d8d08289b4a20d1cd29a2e327bad28ef8
14 lines
413 B
SQL
14 lines
413 B
SQL
CREATE TABLE /*_*/linter (
|
|
-- primary key
|
|
linter_id int UNSIGNED PRIMARY KEY not null AUTO_INCREMENT,
|
|
-- page id
|
|
linter_page int UNSIGNED not null,
|
|
-- error category (lint_categories.lc_id)
|
|
linter_cat int UNSIGNED not null,
|
|
-- extra parameters about the error, JSON encoded
|
|
linter_params blob NOT NULL
|
|
) /*$wgDBTableOptions*/;
|
|
|
|
-- Query by page
|
|
CREATE INDEX /*i*/linter_page ON /*_*/linter (linter_page);
|