mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-12 07:55:31 +00:00
abbcc17511
* update all schema files to correct linter_params being set nullable by accident in 2020 during abstract definition update * include hook to provide 3rd party support, use $updater->modifyExtensionField( Bug: T327806 Change-Id: I7fea08280cf2fa7956e5b300dc3365dc3561ca52
25 lines
954 B
SQL
25 lines
954 B
SQL
-- This file is automatically generated using maintenance/generateSchemaSql.php.
|
|
-- Source: tables.json
|
|
-- Do not modify this file directly.
|
|
-- See https://www.mediawiki.org/wiki/Manual:Schema_changes
|
|
CREATE TABLE /*_*/linter (
|
|
linter_id INT UNSIGNED AUTO_INCREMENT NOT NULL,
|
|
linter_page INT UNSIGNED NOT NULL,
|
|
linter_namespace INT DEFAULT NULL,
|
|
linter_cat INT UNSIGNED NOT NULL,
|
|
linter_start INT UNSIGNED NOT NULL,
|
|
linter_end INT UNSIGNED NOT NULL,
|
|
linter_params BLOB NOT NULL,
|
|
linter_template VARBINARY(255) DEFAULT '' NOT NULL,
|
|
linter_tag VARBINARY(32) DEFAULT '' NOT NULL,
|
|
INDEX linter_page (linter_page),
|
|
INDEX linter_cat_namespace (linter_cat, linter_namespace),
|
|
UNIQUE INDEX linter_cat_page_position (
|
|
linter_cat, linter_page, linter_start,
|
|
linter_end
|
|
),
|
|
INDEX linter_cat_template (linter_cat, linter_template),
|
|
INDEX linter_cat_tag (linter_cat, linter_tag),
|
|
PRIMARY KEY(linter_id)
|
|
) /*$wgDBTableOptions*/;
|