Fixup PHP version to 8.?

Fix PHP version in the PHP timezone configuration script, used to access PHP's configuration directory.
DOMjudge · Oct 9, 2023 · f1786fd · f1786fd
1 parent 138ab77
commit f1786fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/domserver/scripts/start.d/10-timezone.sh b/docker/domserver/scripts/start.d/10-timezone.sh
@@ -6,7 +6,7 @@ dpkg-reconfigure -f noninteractive tzdata
 echo "[ok] Container timezone set to: ${CONTAINER_TIMEZONE}"; echo
 
 # Configure php
-php_folder=$(echo "/etc/php/7."?"/")
+php_folder=$(echo "/etc/php/8."?"/")
 
 cat > "$php_folder/fpm/conf.d/99-timezone.ini" <<- EOF 
 [Date]