Remove Scribunto git repo, as it is now included in MediaWiki

This commit is contained in:
Adam Goldsmith 2020-01-08 00:03:03 -05:00
parent cc78a134ff
commit c3ba68ede9

View File

@ -9,11 +9,6 @@ COPY composer.local.json /var/www/html/
COPY --from=composer:latest /usr/bin/composer /usr/bin/composer COPY --from=composer:latest /usr/bin/composer /usr/bin/composer
RUN cd /var/www/html/ && composer update --no-dev 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 \ RUN git clone --depth 1 -b $MEDIAWIKI_BRANCH \
https://gerrit.wikimedia.org/r/mediawiki/extensions/LdapAuthentication \ https://gerrit.wikimedia.org/r/mediawiki/extensions/LdapAuthentication \
/var/www/html/extensions/LdapAuthentication /var/www/html/extensions/LdapAuthentication