Namespace PHPStan\Diagnose

Interfaces
DiagnoseExtension

DiagnoseExtension can output any diagnostic information to stderr after analysis.