mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-30 18:44:24 +00:00
0f3c66418a
Displaying categories by priority provides editors with better guidance about what to spend time on. The Linter help page provides more information about why the specific priorities have been chosen. Change-Id: If6f28570189e24a67b4380f666f4cd64a2296989 |
||
---|---|---|
.. | ||
ApiQueryLintErrors.php | ||
ApiRecordLint.php | ||
CategoryManager.php | ||
Database.php | ||
Hooks.php | ||
LintError.php | ||
LintErrorsPager.php | ||
RecordLintJob.php | ||
SpecialLintErrors.php |