Right now, a count of each type of lint error are displayed in the page information for a particular page, where there exist lint errors.
It would be really convenient to have an edit-with-linterid link in this context, if this is possible.
Description
Description
Event Timeline
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 1 2018, 1:28 AM2018-05-01 01:28:30 (UTC+0)
Comment Actions
In T193454#4170463, @Schniggendiller wrote:Maybe you’ll find lintHint interesting :-)
Thanks for your FYI, but I am quite aware of the available tools for linting.
• Vvjjkkii renamed this task from Provide an edit-with-linterid link on Page Information when lint errors are present to lxdaaaaaaa.Jul 1 2018, 1:13 AM2018-07-01 01:13:02 (UTC+0)
CommunityTechBot renamed this task from lxdaaaaaaa to Provide an edit-with-linterid link on Page Information when lint errors are present.Jul 1 2018, 2:03 PM2018-07-01 14:03:50 (UTC+0)
CommunityTechBot raised the priority of this task from High to Needs Triage.Jul 3 2018, 1:52 AM2018-07-03 01:52:05 (UTC+0)
Izno moved this task from Backlog to Linter-UI on the MediaWiki-extensions-Linter board.Sep 23 2018, 2:10 PM2018-09-23 14:10:30 (UTC+0)