mediawiki-extensions-Linter/includes
Subramanya Sastry 11f4a97ba6 Provide parsermigration-edit edit link option for categories
* Since the high priority categories are being used to effect
  Tidy migration, we need editors to be able to compare their fixes
  and ensure that the pages look identical after the fix.

* This patch adds a new property for linter categories and displays
  the requested edit link in the pager.

* This patch enables the property for high priority categories.

Change-Id: Ia9b23d79da686f0a6c0203e2dba58a876a4a3d4a
2017-08-22 10:07:39 +00:00
..
ApiQueryLintErrors.php API: Add pageid/ns to list=linterrors output 2017-04-17 10:25:36 -07:00
ApiQueryLinterStats.php Add API meta=linterstats module 2017-06-06 10:02:49 -07:00
ApiRecordLint.php Drop lints w/o dsr info 2017-06-29 20:30:04 +00:00
CategoryManager.php Provide parsermigration-edit edit link option for categories 2017-08-22 10:07:39 +00:00
Database.php Add caching to looking up totals 2017-05-29 07:33:41 -07: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 Provide parsermigration-edit edit link option for categories 2017-08-22 10:07:39 +00:00
RecordLintJob.php Add caching to looking up totals 2017-05-29 07:33:41 -07:00
SpecialLintErrors.php Add caching to looking up totals 2017-05-29 07:33:41 -07:00
TotalsLookup.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-20 00:10:41 -07:00