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 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 des informations de site.



Démarrer ou retraiter toutes les pages
Au lieu d'exécuter, il est possible de populer les erreurs lint en interrogeant Parsoid directement. Voir T161556 pour un exemple de script.