Install zip Packages for faster install

master
Alexander Diamadis 2 years ago
parent f4f09167dc
commit 70787fa6a0

@ -7,6 +7,9 @@ COPY composer.local.json composer.local.json
WORKDIR /var/www/html/extensions WORKDIR /var/www/html/extensions
RUN apt update && apt install zip unzip php-zip && apt-get purge -y --auto-remove -o APT::AutoRemove::RecommendsImportant=false; \
rm -rf /var/lib/apt/lists/*
RUN git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/MobileFrontend --branch REL1_40; \ RUN git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/MobileFrontend --branch REL1_40; \
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PluggableAuth --branch REL1_40; \ git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/PluggableAuth --branch REL1_40; \
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect --branch REL1_40; \ git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect --branch REL1_40; \

Loading…
Cancel
Save