Interface PHPStan\Diagnose\DiagnoseExtension

DiagnoseExtension can output any diagnostic information to stderr after analysis.

PHPStan displays this information when running the "analyse" command with "-vvv" CLI option.

To register it in the configuration file use the phpstan.diagnoseExtension service tag:

services:
	-
		class: App\PHPStan\MyExtension
		tags:
			- phpstan.diagnoseExtension

PHPStan\Diagnose\DiagnoseExtension
- PHPStan\Diagnose\PHPStanDiagnoseExtension implements DiagnoseExtension
- PHPStan\Parallel\Scheduler implements DiagnoseExtension

Located at src/Diagnose/DiagnoseExtension.php

Methods
`public`	`print(Output $output): void`	#