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. La ayuda para los usuarios que desean corregir errores está disponible por.

Instalación


Parámetros de configuración
En la sección $wgParsoidSettings de su archivo LocalSettings.php, configure

API


Categorías de Linter
Una lista de categorías de linter está disponible en [propiedades de información del sitio de https://www.mediawiki.org/w/api.php?action=query&meta=siteinfo&siprop=general|namespaces|namespacealiases|statistics].



Arrancar o reprocesar todas las páginas
En lugar de ejecutar, es posible completar los errores de pelusa consultando directamente a parsoid. Véase T161556 para un script de ejemplo.