mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-09-23 10:21:52 +00:00
4dd75df2e8
When searching for a specific page title, it's necessary to specify page_namespace, not just linter_namespace, so that the relevant index in the page table can be used. Submitting the form with an empty namespace box led to a search for namespace zero, because getCheck() returns true for an empty string. It's not easy to search for a title part in all namespaces. So drop that hidden feature and interpret a title part with a missing namespace as being a search for namespace 0. It's possible to search for a category with an empty title and zero or more namespaces. Implement the namespace filter in this case using the linter_namespace field. But ignore the namespace filter if there is no category, since there is no index on linter_namespace alone. Bug: T360865 Change-Id: I00934eaaf1a99e4098f177166b43069d33d9f137 |
||
---|---|---|
.. | ||
unit | ||
CategoryMessagesTest.php | ||
DatabaseTest.php | ||
RecordLintJobTest.php | ||
SpecialLintErrorsTest.php |