File: tables-generated.sql

package info (click to toggle)
mediawiki 1%3A1.43.3%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 417,464 kB
  • sloc: php: 1,062,949; javascript: 664,290; sql: 9,714; python: 5,458; xml: 3,489; sh: 1,131; makefile: 64
file content (29 lines) | stat: -rw-r--r-- 925 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
-- 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 SERIAL NOT NULL,
  linter_page INT NOT NULL,
  linter_namespace INT DEFAULT NULL,
  linter_cat INT NOT NULL,
  linter_start INT NOT NULL,
  linter_end INT NOT NULL,
  linter_params TEXT NOT NULL,
  linter_template TEXT DEFAULT '' NOT NULL,
  linter_tag TEXT DEFAULT '' NOT NULL,
  PRIMARY KEY(linter_id)
);

CREATE INDEX linter_page ON linter (linter_page);

CREATE INDEX linter_cat_namespace ON linter (linter_cat, linter_namespace);

CREATE UNIQUE INDEX linter_cat_page_position ON linter (
  linter_cat, linter_page, linter_start,
  linter_end
);

CREATE INDEX linter_cat_template ON linter (linter_cat, linter_template);

CREATE INDEX linter_cat_tag ON linter (linter_cat, linter_tag);