mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-12 01:09:49 +00:00
eacb3c0d0d
This way we can track the progress of individual wikis in cleaning up errors. The wiki name is at the end of the key so we can still use e.g. "linter.category.$name.*" to see across all wikis at once. Change-Id: I62463b9256e125d32d97396bd939334d71b46027 |
||
---|---|---|
.. | ||
ApiQueryLintErrors.php | ||
ApiRecordLint.php | ||
CategoryManager.php | ||
Database.php | ||
Hooks.php | ||
LintError.php | ||
LintErrorsPager.php | ||
RecordLintJob.php | ||
SpecialLintErrors.php |