Jump to content

Extension:Linter/linter table

From mediawiki.org
MediaWiki version:
1.40
mysql> describe linter;

+------------------+------------------+------+-----+---------+----------------+
| Field            | Type             | Null | Key | Default | Extra          |
+------------------+------------------+------+-----+---------+----------------+
| linter_id        | int unsigned     | NO   | PRI | NULL    | auto_increment |
| linter_page      | int unsigned     | NO   | MUL | NULL    |                |
| linter_namespace | int              | YES  | MUL | NULL    |                |
| linter_cat       | int unsigned     | NO   | MUL | NULL    |                |
| linter_start     | int unsigned     | NO   |     | NULL    |                |
| linter_end       | int unsigned     | NO   |     | NULL    |                |
| linter_params    | blob             | NO   |     | NULL    |                |
| linter_template  | varbinary(255)   | NO   | MUL | ''      |                |
| linter_tag       | varbinary(32)    | NO   | MUL | ''      |                |
+------------------+------------------+------+-----+---------+----------------+

Fields (≥ 1.40)

[edit]

linter_id

[edit]

This field holds the primary key for a lint error. Each lint error has a unique linter_id.

linter_page

[edit]

This field references the page_id of the page where the lint error occurs.

linter_namespace

[edit]

Indicates the namespace of the page. This facilitates efficient filtering and queries by namespace.

linter_cat

[edit]

Represents the category of the lint error as an integer, corresponding to predefined error types.

linter_start

[edit]

Marks the starting position of the lint error within the page's content.

linter_end

[edit]

Marks the ending position of the lint error within the page's content.

linter_params

[edit]

Stores additional details about the lint error, such as the context or specific data related to the error.

linter_template

[edit]

Holds information about the template involved in the lint error, if applicable.

linter_tag

[edit]

Represents the specific HTML tag associated with the lint error, if applicable.



MediaWiki version:
1.39
mysql> describe linter;
+---------------+------------------+------+-----+---------+----------------+
| Field         | Type             | Null | Key | Default | Extra          |
+---------------+------------------+------+-----+---------+----------------+
| linter_id     | int(10) unsigned | NO   | PRI | NULL    | auto_increment |
| linter_page   | int(10) unsigned | NO   | MUL | NULL    |                |
| linter_cat    | int(10) unsigned | NO   | MUL | NULL    |                |
| linter_start  | int(10) unsigned | NO   |     | NULL    |                |
| linter_end    | int(10) unsigned | NO   |     | NULL    |                |
| linter_params | blob             | NO   |     | NULL    |                |
+---------------+------------------+------+-----+---------+----------------+

Fields (≤ 1.39)

[edit]

linter_id

[edit]

This field holds the primary key for a Lint error. Each page can have a maximum of 21 linter_ids.

linter_page

[edit]

The page_id of the page containing Lint error.

linter_cat

[edit]

Type of Lint error

linter_start

[edit]

linter_end

[edit]

linter_params

[edit]

Has information on which template, wikitext or html tag that is causing Lint errors.