mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-04 12:18:18 +00:00
58 lines
1.4 KiB
JSON
58 lines
1.4 KiB
JSON
[
|
|
{
|
|
"name": "linter",
|
|
"columns": [
|
|
{
|
|
"name": "linter_id",
|
|
"type": "integer",
|
|
"options": { "notnull": true, "unsigned": true, "autoincrement": true }
|
|
},
|
|
{
|
|
"name": "linter_page",
|
|
"comment": "page id",
|
|
"type": "integer",
|
|
"options": { "notnull": true, "unsigned": true }
|
|
},
|
|
{
|
|
"name": "linter_cat",
|
|
"comment": "error category (see CategoryManager::$categoryIds)",
|
|
"type": "integer",
|
|
"options": { "notnull": true, "unsigned": true }
|
|
},
|
|
{
|
|
"name": "linter_start",
|
|
"comment": "end positions of where the error is located",
|
|
"type": "integer",
|
|
"options": { "notnull": true, "unsigned": true }
|
|
},
|
|
{
|
|
"name": "linter_end",
|
|
"comment": "end positions of where the error is located",
|
|
"type": "integer",
|
|
"options": { "notnull": true, "unsigned": true }
|
|
},
|
|
{
|
|
"name": "linter_params",
|
|
"comment": "extra parameters about the error, JSON encoded",
|
|
"type": "blob",
|
|
"options": { "length": 65530, "notnull": false }
|
|
}
|
|
],
|
|
"indexes": [
|
|
{
|
|
"name": "linter_page",
|
|
"comment": "Query by page",
|
|
"columns": [ "linter_page" ],
|
|
"unique": false
|
|
},
|
|
{
|
|
"name": "linter_cat_page_position",
|
|
"comment": "Unique index for lint errors, also covers linter_cat for query by category",
|
|
"columns": [ "linter_cat", "linter_page", "linter_start", "linter_end" ],
|
|
"unique": true
|
|
}
|
|
],
|
|
"pk": [ "linter_id" ]
|
|
}
|
|
]
|