Editor PHP 2.4.2

UnavailableLinterException.php

Table of Contents

Classes

UnavailableLinterException

Exception that is thrown when the chosen linter is not available on the environment.