Extension:Linter/ru

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

Установка


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

API


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

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.