add dockerfile

roboticsoutreach · Oct 30, 2024 · b07b1f1 · b07b1f1
1 parent d0fd85d
commit b07b1f1
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,6 @@
+[submodule "extensions/PluggableAuth"]
+	path = extensions/PluggableAuth
+	url = https://gerrit.wikimedia.org/r/mediawiki/extensions/PluggableAuth
+[submodule "extensions/OpenIDConnect"]
+	path = extensions/OpenIDConnect
+	url = https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect
diff --git a/Dockerfile b/Dockerfile
@@ -0,0 +1,5 @@
+FROM mediawiki:1.42.3
+
+# Install the required extensions
+COPY --chown=www-data:www-data extensions/PluggableAuth /var/www/html/extensions/PluggableAuth
+COPY --chown=www-data:www-data extensions/OpenIDConnect /var/www/html/extensions/OpenIDConnect
diff --git a/extensions/OpenIDConnect b/extensions/OpenIDConnect
diff --git a/extensions/PluggableAuth b/extensions/PluggableAuth