mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-17 18:30:42 +00:00
c04b075858
Instead, pass the page id when using methods for a page. The change avoids constructing Database a dummy page id when those methods aren't going to be used. getFromId doesn't seem like it needs a page id, since the linter id is the primary key. Also, a namespace id should no longer optional to setForPage. The LinterWriteNamespaceColumnStage option already gates whether to include it in the row. Follows-Up: I9fd6e7724dcf33be0b1feb19ec8eb448738cab09 Change-Id: Ib3d3622144b670ebe1a4ce04e6db6811584d42c8 |
||
---|---|---|
.. | ||
ApiQueryLintErrors.php | ||
ApiQueryLinterStats.php | ||
CategoryManager.php | ||
Database.php | ||
DatabaseFactory.php | ||
Hooks.php | ||
HtmlTags.php | ||
LintError.php | ||
LintErrorsPager.php | ||
MissingCategoryException.php | ||
RecordLintJob.php | ||
SchemaHooks.php | ||
ServiceWiring.php | ||
SpecialLintErrors.php | ||
TotalsLookup.php |