mediawiki-extensions-Linter/includes
Subramanya Sastry 0f3c66418a Organize lint categories by priority
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
2017-04-28 10:42:47 -05:00
..
ApiQueryLintErrors.php API: Add pageid/ns to list=linterrors output 2017-04-17 10:25:36 -07:00
ApiRecordLint.php Enforce category/page/position uniqueness constraint in the database 2016-11-30 18:55:19 -08:00
CategoryManager.php Organize lint categories by priority 2017-04-28 10:42:47 -05:00
Database.php Display count of lint errors on ?action=info 2017-01-20 11:26:44 -08:00
Hooks.php Organize lint categories by priority 2017-04-28 10:42:47 -05:00
LintError.php Include location in LintError::id() 2016-12-02 16:15:17 -08:00
LintErrorsPager.php Add pwrap-bug-workaround linter category 2017-04-19 15:19:13 -05:00
RecordLintJob.php Split statsd metrics by wiki 2017-04-06 11:21:41 -07:00
SpecialLintErrors.php Organize lint categories by priority 2017-04-28 10:42:47 -05:00