Pull MediaWiki extensions from git

This commit is contained in:
Fritz Grimpen 2024-11-09 02:07:18 +01:00
parent e849419273
commit 321e15b180

View file

@ -2,17 +2,19 @@ FROM alpine AS builder
WORKDIR /usr/src
RUN apk update && apk add git
ADD https://releases.wikimedia.org/mediawiki/1.42/mediawiki-1.42.3.tar.gz .
RUN tar -xzf mediawiki-1.42.3.tar.gz
ADD https://extdist.wmflabs.org/dist/extensions/MobileFrontend-REL1_42-8a4ecb7.tar.gz .
RUN tar -xzf MobileFrontend-REL1_42-8a4ecb7.tar.gz
RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/MobileFrontend; \
rm -rf MobileFrontend/.git
ADD https://extdist.wmflabs.org/dist/extensions/PluggableAuth-REL1_42-b35addc.tar.gz .
RUN tar -xzf PluggableAuth-REL1_42-b35addc.tar.gz
RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/PluggableAuth; \
rm -rf PluggableAuth/.git
ADD https://extdist.wmflabs.org/dist/extensions/OpenIDConnect-REL1_42-83024de.tar.gz .
RUN tar -xzf OpenIDConnect-REL1_42-83024de.tar.gz
RUN git clone -b REL1_42 https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect; \
rm -rf OpenIDConnect/.git
FROM docker.io/library/unit:php8.2
@ -21,10 +23,10 @@ WORKDIR /var/www/html
RUN apt-get update && apt-get install -y \
libicu-dev \
&& docker-php-ext-configure intl \
&& docker-php-ext-install -j$(nproc) intl
RUN docker-php-ext-configure mysqli \
&& docker-php-ext-install -j$(nproc) mysqli
RUN apt-get install -y imagemagick
&& docker-php-ext-install -j$(nproc) intl \
&& docker-php-ext-install -j$(nproc) mysqli \
&& apt-get install -y imagemagick \
&& rm -rf /var/lib/apt/lists/*
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