mediawiki-extensions-Linter/includes
libraryupgrader ed09243414 build: Updating mediawiki/mediawiki-phan-config to 0.5.0
Change-Id: Ie148b252691261b9023a75504cbe14d51ba9e58c
2019-03-10 19:08:40 -07: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 Drop excess events at the API layer 2018-08-17 20:36:06 -07:00
CategoryManager.php DWIM in CategoryManager 2019-03-02 22:57:42 +00:00
Database.php Use estimateRowCount() instead of actually counting everything 2018-02-01 13:15:06 -08:00
Hooks.php Move sql file into own folder 2019-03-08 21:41:35 +01:00
LintError.php build: Updating mediawiki/mediawiki-phan-config to 0.5.0 2019-03-10 19:08:40 -07:00
LintErrorsPager.php Fix broken test for enabling parsermigration-edit links 2018-04-30 23:00:38 -05:00
MissingCategoryException.php Handle non-existent categories in the database better 2017-10-31 10:42:07 -07:00
RecordLintJob.php Drop excess events at the API layer 2018-08-17 20:36:06 -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