mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-23 23:44:17 +00:00
4f4b700fbd
Currently we select 20 rows, and return the accurate count if it's less than that, so up to 19 rows. Since we want to return an accurate count if it's 20 rows or less, select one more row, 21, so we can differentiate between only having 20 result rows or hitting the limit. This is the same technique used in MediaWiki's Pager system. Change-Id: I50fa96238eb4c7178414ee92c53799fd69520926 |
||
---|---|---|
.. | ||
ApiQueryLintErrors.php | ||
ApiQueryLinterStats.php | ||
ApiRecordLint.php | ||
CategoryManager.php | ||
Database.php | ||
Hooks.php | ||
LintError.php | ||
LintErrorsPager.php | ||
MissingCategoryException.php | ||
RecordLintJob.php | ||
SpecialLintErrors.php | ||
TotalsLookup.php |