Diagnose extension: Info about extensions installed via extension-ins…

…taller

src/Diagnose/PHPStanDiagnoseExtension.php

@@ -3,8 +3,11 @@
 namespace PHPStan\Diagnose;
 
 use PHPStan\Command\Output;
+use PHPStan\ExtensionInstaller\GeneratedConfig;
 use PHPStan\Internal\ComposerHelper;
 use PHPStan\Php\PhpVersion;
+use function class_exists;
+use function count;
 use function sprintf;
 use const PHP_VERSION_ID;
 
@@ -32,6 +35,18 @@ public function print(Output $output): void
 			ComposerHelper::getPhpStanVersion(),
 		));
 		$output->writeLineFormatted('');
+		if (class_exists('PHPStan\ExtensionInstaller\GeneratedConfig')) {
+			$output->writeLineFormatted('<info>Extension installer:</info>');
+			if (count(GeneratedConfig::EXTENSIONS) === 0) {
+				$output->writeLineFormatted('No extensions installed');
+			}
+			foreach (GeneratedConfig::EXTENSIONS as $name => $extensionConfig) {
+				$output->writeLineFormatted(sprintf('%s: %s', $name, $extensionConfig['version'] ?? 'Unknown version'));
+			}
+		} else {
+			$output->writeLineFormatted('<info>Extension installer:</info> Not installed');
+		}
+		$output->writeLineFormatted('');
 	}
 
 }