From 08698eb2deec371e81af1de85e9d5f94beb6e3b4 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Tue, 2 Dec 2025 13:01:41 +0100
Subject: [PATCH] Move php-compatibility maintainance to our own container

For [phpcs_compatibility](https://github.com/DOMjudge/domjudge/blob/main/.github/workflows/codestyle.yml).

We used another container for simplicity of maintainance, then we needed to hotpatch the container for PHP84 for the `$this` & `enums`. The plan was to do this while waiting for version 10 of the tool. Since then we've had to patch the container more and more so the "lower" maintenance cost are now in installing the tool on it's own.
---
 docker-gitlabci/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker-gitlabci/Dockerfile b/docker-gitlabci/Dockerfile
index 81f4f45..1ed1e3e 100644
--- a/docker-gitlabci/Dockerfile
+++ b/docker-gitlabci/Dockerfile
@@ -37,7 +37,7 @@ RUN su domjudge -c "cd /home/domjudge && \
                     npm cache clean --force"
 
 # Install needed global PHP modules
-RUN composer -n require justinrainbow/json-schema
+RUN composer -n require justinrainbow/json-schema phpcompatibility/php-compatibility:dev-develop
 
 # Install other PHP versions
 RUN add-apt-repository ppa:ondrej/php -y && apt-get update && \