add CodeMirror extension
Some checks failed
Docker Build / Build and Push Images (push) Failing after 32s
Some checks failed
Docker Build / Build and Push Images (push) Failing after 32s
This commit is contained in:
parent
547bdb93f2
commit
f6637f3955
1 changed files with 4 additions and 0 deletions
|
@ -51,6 +51,10 @@ RUN git clone --depth 1 \
|
||||||
https://gerrit.wikimedia.org/r/mediawiki/extensions/CreateUserPage \
|
https://gerrit.wikimedia.org/r/mediawiki/extensions/CreateUserPage \
|
||||||
/var/www/html/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 \
|
RUN git clone --depth 1 \
|
||||||
https://gerrit.wikimedia.org/r/mediawiki/extensions/Disambiguator \
|
https://gerrit.wikimedia.org/r/mediawiki/extensions/Disambiguator \
|
||||||
/var/www/html/extensions/Disambiguator
|
/var/www/html/extensions/Disambiguator
|
||||||
|
|
Loading…
Reference in a new issue