From 300390573e255d7ac742243f1ebd0d23920abc90 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Wed, 4 Dec 2024 19:20:05 +0100
Subject: [PATCH] Use provided PHPversion

---
 .github/jobs/baseinstall.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
index 51135d5eef..99d428b0ed 100755
--- a/.github/jobs/baseinstall.sh
+++ b/.github/jobs/baseinstall.sh
@@ -4,11 +4,15 @@
 
 export version="$1"
 db=${2:-install}
+phpversion="${3}"
 
 set -eux
 
+if [ -z "$phpversion" ]; then
 PHPVERSION=$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION."\n";')
-export PHPVERSION
+fi
+
+show_phpinfo "$PHPVERSION"
 
 section_start "Run composer"
 export APP_ENV="dev"