Add Widgets extension to MediaWiki
All checks were successful
ci/woodpecker/push/mediawiki Pipeline was successful
ci/woodpecker/tag/mediawiki Pipeline was successful

This commit is contained in:
Fritz Grimpen 2024-11-10 00:41:24 +01:00
parent b4e4b07554
commit 84ad49dadc

View file

@ -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; \ RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect; \
rm -rf OpenIDConnect/.git 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 FROM docker.io/library/unit:php8.2
WORKDIR /var/www/html 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/MobileFrontend w/extensions/MobileFrontend
COPY --from=builder --chown=unit:unit /usr/src/PluggableAuth w/extensions/PluggableAuth 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/OpenIDConnect w/extensions/OpenIDConnect
COPY --from=builder --chown=unit:unit /usr/src/Widgets w/extensions/Widgets
COPY config.json /docker-entrypoint.d/config.json COPY config.json /docker-entrypoint.d/config.json