Dockerfile:

- upgrade docker-mediawiki-tools version
gesinn-it · Nov 19, 2024 · 3d492e6 · 3d492e6
1 parent 5d01cf5
commit 3d492e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/*