Extension:Linter/es

La extensión Linter rastrea los errores de lint de un servicio externo. Actualmente, el caso de uso principal es rastrear los errores identificados por y exponerlos a los editores. 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 |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.