removed duplicate extension (CodeMirror)
Some checks failed
Docker Build / Build and Push Images (push) Failing after 11s

This commit is contained in:
Seaswimmer 2024-08-01 14:00:09 -04:00
parent bec5917c76
commit 32276aa0b3
Signed by: cswimr
GPG key ID: 3813315477F26F82

View file

@ -51,10 +51,6 @@ RUN git clone --depth 1 \
https://gerrit.wikimedia.org/r/mediawiki/extensions/CreateUserPage \
/var/www/html/extensions/CreateUserPage
RUN git clone --depth 1 \
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror \
/var/www/html/extensions/CodeMirror
RUN git clone --depth 1 \
https://gerrit.wikimedia.org/r/mediawiki/extensions/Disambiguator \
/var/www/html/extensions/Disambiguator