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.