(Go: >> BACK << -|- >> HOME <<)

Page MenuHomePhabricator

Linter extension should allow search results to be limited by a prefix: or titlepart .
Closed, ResolvedPublic

Description

This is a feature or enhancement request.

"What's the limitation that you have come across?"

Currently the reports that the Linter extension generates as a Special:LintErrors or it's subpages, are a single mass set of results. For a site where the content is largely per page, this is reasonable...

However on some wikis (including Wikisource), subpages are used extensively. This means to identify all the pages of a particular group of pages and subpages where there are concerns means searching through the entire results set (which could be several hundred results at present). This is not necessarily an optimized workflow.

Also the Page: namespace (on wikis where Proofread page is installed) is (at present) typically implemented as Page:<name of work>/<pagenumber> which the Linter extensions seemingly treats as a single title for each Page, as opposed to grouping all the pages for a particular work

"What is the functionality you would like to see implemented?"

  1. Implement a search "filter" (as utilised on other Special:pages) so that the results can be trimmed down by a relevant prefix.
  2. Provide an appropriate UI component in the relevant Special:LintErrors pages to allow a contributor to specify the prefix to be used in limiting the results displayed for any given Linter concern/error..

Longer term, additional filters could be considered (such as limiting it by pages edited before/after certain dates, or solely by the contributor... much like the filters that can be applied to other Special: pages )

Event Timeline

I think this could be resolved reasonably by implementation of T177547: Add search support for linter errors.

I know that I have suggested in other locations that Linter errors be placed in actual WP Categories instead of on these very limited Special pages, but I can't locate those other suggestions right now. Categories would be helpful in resolving this sort of problem. The categories should probably be subdivided by namespace and linter error, something like 32 (namespaces) times 18 (linter error types) categories in total.

I would support Linter errors being provided via Hidden categories, based on error and namespace..

Sbailey subscribed.

It looks like at least searching and reporting by namespace, by category, by a title prefix is possible (database performance impacts are what gate what is safe to implement, not whether a feature technically can be implemented). Search by prefix, by namespace, for all categories also maybe possible, and be added to the report type provided for all lints for a single page. Would be good to get feedback on whether that is also a useful search/report type. But for now I will focus on prefix, namespace and category as search criteria report.

Change 768143 had a related patch set uploaded (by Sbailey; author: Sbailey):

[mediawiki/extensions/Linter@master] WIP Linter allows specification of a page prefix to refine selection

https://gerrit.wikimedia.org/r/768143

Change 769772 had a related patch set uploaded (by Sbailey; author: Sbailey):

[mediawiki/extensions/Linter@master] WIP provide search by title prefix for any category of lint error

https://gerrit.wikimedia.org/r/769772

Change 768143 merged by jenkins-bot:

[mediawiki/extensions/Linter@master] Linter allows specification of a page prefix to refine selection

https://gerrit.wikimedia.org/r/768143

Tested on English Wikisource. The addition of a Title prefix box to Special:LintErrors appears to meet the original requirement of this request.

Subject to other confirmation, this ticket has been resolved.

Change 774515 had a related patch set uploaded (by Sbailey; author: Sbailey):

[mediawiki/extensions/Linter@master] Add title interactive lookup to category based linter error search

https://gerrit.wikimedia.org/r/774515

Change 774515 merged by jenkins-bot:

[mediawiki/extensions/Linter@master] Add title interactive lookup to category based linter error search

https://gerrit.wikimedia.org/r/774515

Change 769772 merged by jenkins-bot:

[mediawiki/extensions/Linter@master] Provide search by title prefix for any category of lint error

https://gerrit.wikimedia.org/r/769772