From 3d492e6dab96af5b8fe131386747427eb5ceaf81 Mon Sep 17 00:00:00 2001 From: gesinn-it-ilm Date: Tue, 19 Nov 2024 15:07:15 +0100 Subject: [PATCH] Dockerfile: - upgrade docker-mediawiki-tools version --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 3619b4a..7f34b47 100644 --- a/Dockerfile +++ b/Dockerfile @@ -42,7 +42,7 @@ RUN composer update FROM mediawiki AS mediawiki-ci ### add build tools and patches folder -RUN curl -LJ https://github.com/gesinn-it-pub/docker-mediawiki-tools/tarball/3.0.1 \ +RUN curl -LJ https://github.com/gesinn-it-pub/docker-mediawiki-tools/tarball/3.1.0 \ | tar xzC / --strip-components 1 RUN chmod +x /build-tools/* /tools/*