deps (docker-mediawiki-tools): 3.0.1

TIBHannover · Sep 11, 2024 · 35fbdf1 · 35fbdf1
1 parent 96a0370
commit 35fbdf1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/context/Dockerfile b/context/Dockerfile
@@ -49,7 +49,7 @@ RUN \
 	docker-php-ext-install gd zip
 
 # add /build-tools and /tools
-RUN curl -LJ https://github.com/gesinn-it-pub/docker-mediawiki-tools/archive/refs/tags/3.0.0.tar.gz \
+RUN curl -LJ https://github.com/gesinn-it-pub/docker-mediawiki-tools/archive/refs/tags/3.0.1.tar.gz \
 	| tar xzC / --strip-components 1
 
 # override by custom tools