add codemirror extension

This commit is contained in:
Seaswimmer 2024-07-31 15:55:15 -04:00
parent 6d772b6804
commit 69229692b4
Signed by: cswimr
GPG key ID: 3813315477F26F82

View file

@ -8,6 +8,10 @@ RUN git clone --depth 1 \
https://gitlab.com/hydrawiki/extensions/EmbedVideo.git \
/var/www/html/extensions/EmbedVideo
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/p/mediawiki/extensions/Elastica \
/var/www/html/extensions/Elastica