From 70787fa6a0b1c0fcd85f21b59d85f043fe537190 Mon Sep 17 00:00:00 2001 From: Alexander Diamadis Date: Sun, 12 Nov 2023 16:58:07 +0000 Subject: [PATCH] Install zip Packages for faster install --- Dockerfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Dockerfile b/Dockerfile index b434e35..0882e35 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,6 +7,9 @@ COPY composer.local.json composer.local.json 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; \ 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; \