Extension:Linter

The Linter extension tracks lint errors from an external service. Currently the main use case is to track the errors identified by and expose them to editors. Help for users wanting to fix errors is available at.

Configuration parameters
In the $wgParsoidSettings section of your LocalSettings.php file, set

Linter categories
A list of linter categories is available in [ https://www.mediawiki.org/w/api.php?action=query&meta=siteinfo&siprop=general|namespaces|namespacealiases|statistics site info properties].

Bootstrap or reprocess all pages
Instead of running, it's possible to populate lint errors by querying parsoid directly. See T161556 for an example script.