Editor PHP 2.5.0

LinterInterface.php

Table of Contents

Interfaces

LinterInterface

Interface for PHP code linting process manager.