mediawiki-extensions-Linter/includes
C. Scott Ananian 2e49c745d7 Move category IDs into the extension.json information
This reduces the number of different files that need to be modified
in order to add a new linter category.

Change-Id: Id095317d6d761c57e2ce632d34ebd962bf85e785
2017-12-08 11:28:21 -05:00
..
ApiQueryLintErrors.php API: Allow querying linterrors by pageid 2017-11-24 21:03:05 -08:00
ApiQueryLinterStats.php Add API meta=linterstats module 2017-06-06 10:02:49 -07:00
ApiRecordLint.php Replace deprecated usage of ApiBase::dieUsage() 2017-12-03 15:26:39 -08:00
CategoryManager.php Move category IDs into the extension.json information 2017-12-08 11:28:21 -05:00
Database.php Improve logging for non-existent categories in the database 2017-11-22 23:05:04 -08:00
Hooks.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-20 00:10:41 -07:00
LintError.php Include location in LintError::id() 2016-12-02 16:15:17 -08:00
LintErrorsPager.php Move $hasNameCats into the information in extension.json 2017-12-08 06:42:43 +00:00
MissingCategoryException.php Handle non-existent categories in the database better 2017-10-31 10:42:07 -07:00
RecordLintJob.php Add caching to looking up totals 2017-05-29 07:33:41 -07:00
SpecialLintErrors.php Parse linter-category-{name}-desc messages 2017-10-04 20:17:22 -07:00
TotalsLookup.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-20 00:10:41 -07:00