Changed capital

Author: vmcj

.github/jobs/baseinstall.sh

@@ -18,10 +18,10 @@ MYSQL_ROOT_PASSWORD=${MYSQL_ROOT_PASSWORD:-root}
 set -eux
 
 if [ -z "$phpversion" ]; then
-PHPVERSION=$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION."\n";')
+phpversion=$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION."\n";')
 fi
 
-show_phpinfo "$PHPVERSION"
+show_phpinfo "$phpversion"
 
 section_start "Run composer"
 export APP_ENV="dev"
@@ -106,7 +106,7 @@ cp /proc/cmdline "$ARTIFACTS"/cmdline.txt
 section_end
 
 section_start "Setup webserver"
-cp /opt/domjudge/domserver/etc/domjudge-fpm.conf /etc/php/"$PHPVERSION"/fpm/pool.d/domjudge.conf
+cp /opt/domjudge/domserver/etc/domjudge-fpm.conf /etc/php/"$phpversion"/fpm/pool.d/domjudge.conf
 
 rm -f /etc/nginx/sites-enabled/*
 cp /opt/domjudge/domserver/etc/nginx-conf /etc/nginx/sites-enabled/domjudge
@@ -120,7 +120,7 @@ nginx -t
 section_end
 
 section_start "Show webserver is up"
-for service in nginx php${PHPVERSION}-fpm; do
+for service in nginx php${phpversion}-fpm; do
     service "$service" restart
     service "$service" status
 done