Extension:Linter/pl

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.

Instalacja


Parametry konfiguracyjne
In the $wgParsoidSettings section of your LocalSettings.php file, set

API


Kategorie Linter
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.