deps (docker-mediawiki-tools): 3.1.0 → 3.2.0

gesinn-it · Dec 14, 2024 · 1041769 · 1041769
1 parent c966c17
commit 1041769
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.1.0 \
+RUN curl -LJ https://github.com/gesinn-it-pub/docker-mediawiki-tools/tarball/3.2.0 \
 	| tar xzC / --strip-components 1
 
 RUN chmod +x /build-tools/* /tools/*