mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-23 23:44:17 +00:00
29379edb0b
It's possible to have duplicate, identical lint errors if the same exact
error is repeated in a template transclusion (e.g. {{1x|<b/> <b/>}})
since the position via dsr is the same. In this case, just de-duplicate
the errors since we can't differentiate them.
At the same time, trim excessive errors on the same page in the same
category. It's most likely that if a page has that many of the same
errors, the editor or bot will just fix all of them at the same time, so
we don't need to include all of them in the database. 20 is kind of a
low value, but we can always increase it later on as necessary.
Change-Id: I9cded720169870d0eea574e1a930ce4e9b190ac0
|
||
|---|---|---|
| .. | ||
| ApiQueryLintErrors.php | ||
| ApiRecordLint.php | ||
| CategoryManager.php | ||
| Database.php | ||
| Hooks.php | ||
| LintError.php | ||
| LintErrorsPager.php | ||
| RecordLintJob.php | ||
| SpecialLintErrors.php | ||