Allow changing the PHP version for CI tests

Both useful for the integration & unit tests.

Author: vmcj

.github/jobs/baseinstall.sh

@@ -4,13 +4,17 @@
 
 export version="$1"
 db=${2:-install}
+phpversion="${3}"
 
 MYSQL_ROOT_PASSWORD=${MYSQL_ROOT_PASSWORD:-root}
 
 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"

.github/jobs/ci_settings.sh

@@ -34,6 +34,15 @@ mysql_user () {
     echo "$1" | mysql -udomjudge -pdomjudge ${2:-} | tee -a "$ARTIFACTS"/mysql.txt
 }
 
+show_phpinfo() {
+    phpversion=$1
+    section_start "Show the new PHP info"
+    update-alternatives --set php /usr/bin/php"${phpversion}"
+    php -v
+    php -m
+    section_end
+}
+
 section_start () {
     if [ "$#" -ne 1 ]; then
         echo "Only 1 argument is needed for GHA, 2 was needed for GitLab."