Extension:Linter/ru

Расширение Linter отслеживает ошибки lint с использованием внешней службы. В настоящее время основным применением служит отслеживание ошибок, обнаруживаемых Parsoid, и сообщение о них пользователям. Справка для пользователей, желающих исправлять ошибки, доступна на странице.

Установка


Параметры конфигурации
In the $wgParsoidSettings section of your LocalSettings.php file, set

API


Категории линтера
Список категорий доступен в |namespaces|namespacealiases|statistics информации о сайте.