mediawiki-extensions-Linter/includes
Kunal Mehta 139a8aafea Fix up 11f4a97ba6
CategoryManager is a member variable. Also explicitly define the
haveParserMigrationExt member variable too.

Change-Id: I2aa77e5c1819a80ba18f67c0f65b2d47dbaa0303
2017-08-22 16:08:50 -07: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 Fix up 11f4a97ba6 2017-08-22 16:08:50 -07: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