jenkins-bot 13dfbf4ee9 Merge "Use normal lint error updating logic for page deletions"		2018-02-19 12:33:29 +00: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	Update IPSet use statement	2018-01-21 04:45:55 +00:00
CategoryManager.php	Move category IDs into the extension.json information	2017-12-08 11:28:21 -05:00
Database.php	Use estimateRowCount() instead of actually counting everything	2018-02-01 13:15:06 -08:00
Hooks.php	Use normal lint error updating logic for page deletions	2017-10-05 21:03:30 -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	Use normal lint error updating logic for page deletions	2017-10-05 21:03:30 -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