From 84ad49dadc56497d2e940fddc49a284811cafe6f Mon Sep 17 00:00:00 2001 From: Fritz Grimpen Date: Sun, 10 Nov 2024 00:41:24 +0100 Subject: [PATCH] Add Widgets extension to MediaWiki --- mediawiki/Containerfile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/mediawiki/Containerfile b/mediawiki/Containerfile index bd10bec..dfaa185 100644 --- a/mediawiki/Containerfile +++ b/mediawiki/Containerfile @@ -16,6 +16,9 @@ RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/Plu RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect; \ rm -rf OpenIDConnect/.git +RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/Widgets; \ + rm -rf OpenIDConnect/.git + FROM docker.io/library/unit:php8.2 WORKDIR /var/www/html @@ -32,5 +35,6 @@ COPY --from=builder --chown=unit:unit /usr/src/mediawiki-1.42.3 w/ COPY --from=builder --chown=unit:unit /usr/src/MobileFrontend w/extensions/MobileFrontend COPY --from=builder --chown=unit:unit /usr/src/PluggableAuth w/extensions/PluggableAuth COPY --from=builder --chown=unit:unit /usr/src/OpenIDConnect w/extensions/OpenIDConnect +COPY --from=builder --chown=unit:unit /usr/src/Widgets w/extensions/Widgets COPY config.json /docker-entrypoint.d/config.json