Integrate new PHP version for local development

DOMjudge · Nov 24, 2023 · 533642e · 533642e
1 parent be8721b
commit 533642e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker-contributor/Dockerfile b/docker-contributor/Dockerfile
@@ -12,7 +12,7 @@ ENV DEBIAN_FRONTEND=noninteractive \
   FPM_MAX_CHILDREN=40 \
   DJ_SKIP_MAKE=0 \
   DJ_DB_INSTALL_BARE=0 \
-  PHPSUPPORTED="7.2 7.3 7.4 8.0 8.1 8.2" \
+  PHPSUPPORTED="7.2 7.3 7.4 8.0 8.1 8.2 8.3" \
   DEFAULTPHPVERSION="8.1" \
   APTINSTALL="apt install -y -o Dpkg::Options::=--force-confdef -o Dpkg::Options::=--force-confold"