Add PHP version of 22.04 image

We didn't install that version after the last upgrade.
DOMjudge · Apr 29, 2024 · 3b59041 · 3b59041
1 parent 7c8d5b9
commit 3b59041
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker-gitlabci/Dockerfile b/docker-gitlabci/Dockerfile
@@ -1,6 +1,6 @@
 FROM ubuntu:24.04
 ENV DEBIAN_FRONTEND=noninteractive
-ENV PHPSUPPORTED="7.4 8.0 8.2 8.3"
+ENV PHPSUPPORTED="7.4 8.0 8.1 8.2"
 ENV APTINSTALL="apt install -y -o Dpkg::Options::=--force-confdef -o Dpkg::Options::=--force-confold"
 RUN apt update && apt install -y \
   acl make zip unzip apache2-utils bsdmainutils libcurl4-gnutls-dev \