mediawiki-extensions-Linter/includes
Kunal Mehta eacb3c0d0d Split statsd metrics by wiki
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
2017-04-06 11:21:41 -07:00
..
ApiQueryLintErrors.php Enforce category/page/position uniqueness constraint in the database 2016-11-30 18:55:19 -08:00
ApiRecordLint.php Enforce category/page/position uniqueness constraint in the database 2016-11-30 18:55:19 -08:00
CategoryManager.php Add deletable-table-tag linter category 2017-04-06 12:47:51 -05:00
Database.php Display count of lint errors on ?action=info 2017-01-20 11:26:44 -08:00
Hooks.php Expose category totals in API response 2017-03-20 14:14:22 -07:00
LintError.php Include location in LintError::id() 2016-12-02 16:15:17 -08:00
LintErrorsPager.php Add deletable-table-tag linter category 2017-04-06 12:47:51 -05:00
RecordLintJob.php Split statsd metrics by wiki 2017-04-06 11:21:41 -07:00
SpecialLintErrors.php Add severity for error categories 2016-12-14 17:07:40 -08:00