mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-18 02:40:41 +00:00
11f4a97ba6
* Since the high priority categories are being used to effect Tidy migration, we need editors to be able to compare their fixes and ensure that the pages look identical after the fix. * This patch adds a new property for linter categories and displays the requested edit link in the pager. * This patch enables the property for high priority categories. Change-Id: Ia9b23d79da686f0a6c0203e2dba58a876a4a3d4a |
||
---|---|---|
.. | ||
ApiQueryLintErrors.php | ||
ApiQueryLinterStats.php | ||
ApiRecordLint.php | ||
CategoryManager.php | ||
Database.php | ||
Hooks.php | ||
LintError.php | ||
LintErrorsPager.php | ||
RecordLintJob.php | ||
SpecialLintErrors.php | ||
TotalsLookup.php |