Allow development with PHP85

Author: vmcj

docker-contributor/Dockerfile

@@ -14,8 +14,8 @@ ENV DEBIAN_FRONTEND=noninteractive \
   FPM_MAX_CHILDREN=40 \
   DJ_SKIP_MAKE=0 \
   DJ_DB_INSTALL_BARE=0 \
-  PHPSUPPORTED="8.1 8.2 8.3 8.4" \
-  DEFAULTPHPVERSION="8.4" \
+  PHPSUPPORTED="8.1 8.2 8.3 8.4 8.5" \
+  DEFAULTPHPVERSION="8.5" \
   DEFAULTWEBSERVER="nginx" \
   APTINSTALL="apt-get install -y -o Dpkg::Options::=--force-confdef -o Dpkg::Options::=--force-confold"
 

docker-gitlabci/Dockerfile

@@ -1,6 +1,6 @@
 FROM ubuntu:24.04
 ENV DEBIAN_FRONTEND=noninteractive
-ENV PHPSUPPORTED="7.4 8.0 8.1 8.2 8.4"
+ENV PHPSUPPORTED="7.4 8.0 8.1 8.2 8.4 8.5"
 ENV APTINSTALL="apt-get install -y -o Dpkg::Options::=--force-confdef -o Dpkg::Options::=--force-confold"
 RUN useradd -m domjudge
 RUN useradd -d /nonexistent -g nogroup -s /bin/false domjudge-run-0