From 24526de593b22b400cd9f7e19c789df9b87888c0 Mon Sep 17 00:00:00 2001
From: Christian Schiffler <c.schiffler@cyberspectrum.de>
Date: Fri, 25 Feb 2022 18:21:01 +0100
Subject: [PATCH] Add configuration value `auto_php_version`

We now support the new configuration option `auto_php_version`
(default: true) to automatically pass currenct PHP runtime version to
psalm via parameter `--php-version=`.
This helps to avoid issues like
https://github.com/vimeo/psalm/issues/7026
---
 src/psalm.php | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/psalm.php b/src/psalm.php
index f9fa07a..6506a6c 100644
--- a/src/psalm.php
+++ b/src/psalm.php
@@ -28,6 +28,10 @@ public function describeConfiguration(PluginConfigurationBuilderInterface $confi
             ->withDefaultValue(false);
         $configOptionsBuilder
             ->describeStringOption('shepherd_host', 'Override shepherd host');
+        $configOptionsBuilder
+            ->describeBoolOption('auto_php_version', 'Automatically pass the current PHP version to psalm')
+            ->isRequired()
+            ->withDefaultValue(true);
 
         $configOptionsBuilder
             ->describeStringListOption(
@@ -67,6 +71,11 @@ private function buildArguments(
     ): array {
         $arguments = [];
 
+        if ($config->getBool('auto_php_version')) {
+            $arguments[] = '--php-version=' .
+                implode('.', array_slice(explode('.', PHP_VERSION), 0, 3));
+        }
+
         foreach (['debug', 'debug_by_line'] as $flag) {
             if ($config->getBool($flag)) {
                 $arguments[] = '--' .  str_replace('_', '-', $flag);