mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-27 09:10:05 +00:00
bce5b31616
This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
14 lines
388 B
SQL
14 lines
388 B
SQL
CREATE TABLE /*_*/linter (
|
|
-- primary key
|
|
linter_id int UNSIGNED AUTO_INCREMENT PRIMARY KEY not null,
|
|
-- page id
|
|
linter_page int UNSIGNED not null,
|
|
-- error category
|
|
linter_cat VARCHAR(30) 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);
|