Namespace PHPStan\Diagnose

Interfaces
DiagnoseExtension DiagnoseExtension can output any diagnostic information to stderr after analysis.