Extension:Linter

The Linter extension tracks lint errors from an external service. Currently the main use case is to track the errors identified by Parsoid 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].