mediawiki-extensions-Linter/includes
Kunal Mehta f3778856f2 Add severity for error categories
Categories can now have a severity level of "error" or "warning"
designated, which places them in a different heading on
Special:LintErrors.

Bug: T152822
Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-14 17:07:40 -08: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 severity for error categories 2016-12-14 17:07:40 -08:00
Database.php Show error counts on Special:LintErrors 2016-12-08 16:52:31 -08:00
Hooks.php Delete linter rows when pages are deleted 2016-11-22 18:31:21 -08:00
LintError.php Include location in LintError::id() 2016-12-02 16:15:17 -08:00
LintErrorsPager.php Add severity for error categories 2016-12-14 17:07:40 -08:00
RecordLintJob.php Record totals in categories in statsd 2016-12-08 16:52:52 -08:00
SpecialLintErrors.php Add severity for error categories 2016-12-14 17:07:40 -08:00