Extension:Linter/pt-br

A extensão Linter rastreia erros de fiabilidade de um serviço externo. Atualmente, o principal caso de uso é rastrear os erros identificados pelo Parsoid e expor-los aos editores. A ajuda para usuários que desejam corrigir erros está disponível em.

Instalação


Parâmetros de configuração
In the $wgParsoidSettings section of your LocalSettings.php file, set

API


Categorias Linter
Uma lista de categorias linter está disponível em |namespaces|namespacealiases|statistics propriedades de informações do site.

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.