install wget

inblockio · May 22, 2024 · 2351d81 · 2351d81
1 parent a021ee5
commit 2351d81
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/actionfiles/build_and_push_docker_image/setup/install_plugins.sh b/actionfiles/build_and_push_docker_image/setup/install_plugins.sh
@@ -1,10 +1,24 @@
 #versions
 pdfembed_version=2.0.2
+openIdConnect_version=OpenIDConnect-REL1_41-dc7b06b.tar.gz
+pageForms_version=PageForms-REL1_41-6415072.tar.gz
 
 # https://www.mediawiki.org/wiki/Extension:PDFEmbed
 if [ ! -d extensions/PDFEmbed ]; then
     echo "Downloading PDFEmbed"
     wget https://gitlab.com/hydrawiki/extensions/PDFEmbed/-/archive/${pdfembed_version}/PDFEmbed-${pdfembed_version}.zip
     unzip PDFEmbed-${pdfembed_version}.zip
     mv PDFEmbed-${pdfembed_version}/ extensions/PDFEmbed
+fi
+
+if [ ! -d extensions/OpenIDConnect ]; then
+    echo "Downloading OpenIDConnect"
+    wget https://extdist.wmflabs.org/dist/extensions/${openIdConnect_version}
+    tar -xf ${openIdConnect_version} -C extensions/
+fi
+
+if [ ! -d extensions/PageForms ]; then
+    echo "Downloading PageForms"
+    wget https://extdist.wmflabs.org/dist/extensions/${pageForms_version}
+    tar -xf ${pageForms_version} -C extensions/
 fi