From c3ba68ede9ed8e7c2aa6f39f0dc61d27e7707519 Mon Sep 17 00:00:00 2001 From: Adam Goldsmith Date: Wed, 8 Jan 2020 00:03:03 -0500 Subject: [PATCH] Remove Scribunto git repo, as it is now included in MediaWiki --- Dockerfile | 5 ----- 1 file changed, 5 deletions(-) diff --git a/Dockerfile b/Dockerfile index 82a1ac4..cccad10 100644 --- a/Dockerfile +++ b/Dockerfile @@ -9,11 +9,6 @@ COPY composer.local.json /var/www/html/ COPY --from=composer:latest /usr/bin/composer /usr/bin/composer RUN cd /var/www/html/ && composer update --no-dev -RUN git clone --depth 1 -b $MEDIAWIKI_BRANCH \ - https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto \ - /var/www/html/extensions/Scribunto \ - && chmod a+x /var/www/html/extensions/Scribunto/includes/engines/LuaStandalone/binaries/lua*_linux_*/lua - RUN git clone --depth 1 -b $MEDIAWIKI_BRANCH \ https://gerrit.wikimedia.org/r/mediawiki/extensions/LdapAuthentication \ /var/www/html/extensions/LdapAuthentication