Extension:Linter/fr

L'extension Linter suit les erreurs de lint depuis un service externe. À l'heure actuelle, sa principale utilisation est de lister les erreurs identifiées par Parsoid et de les afficher à l'attention des éditeurs. Une page d'aide pour les utilisateurs désirant corriger les erreurs est disponible sur.

Installation


Paramètres de configuration
Dans la section $wgParsoidSettings de votre fichier LocalSettings.php, configurez

API


Catégories de lint
Une liste des catégories de lint est disponible dans les |namespaces|namespacealiases|statistics propriétés site info.

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.