wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-23 23:44:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Enable "missing end tag in heading" error in LintErrors

Browse source 
* Seems reasoable to enable this category, it has been in the
   database and accessible through Quarry reports for months.

Bug: T341369
Change-Id: Id80a0c02b5948ba9bdc56e762b781d764844afcb
This commit is contained in:
sbailey 2023-12-01 14:16:21 -08:00 committed by Arlo Breault
parent bb1b2e69c1
commit 8bac609d00
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -187,7 +187,7 @@
"missing-end-tag-in-heading": { "missing-end-tag-in-heading": {
"dbid": 21, "dbid": 21,
"enabled": true, "enabled": true,
"priority": "none", "priority": "low",
"has-name": true "has-name": true
} }
} }