Editor PHP 2.4.3

UnavailableLinterException.php

Table of Contents

Classes

UnavailableLinterException

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