add Disambiguator extension
This commit is contained in:
parent
d5befe1b37
commit
6992c2199d
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 \
|
||||
/var/www/html/extensions/CreateUserPage
|
||||
|
||||
RUN git clone --depth 1 \
|
||||
https://gerrit.wikimedia.org/r/mediawiki/extensions/Disambiguator \
|
||||
/var/www/html/extensions/Disambiguator
|
||||
|
||||
RUN wget https://github.com/StarCitizenTools/mediawiki-skins-Citizen/archive/main.zip \
|
||||
&& unzip main.zip \
|
||||
&& mkdir -p /var/www/html/skins/Citizen \
|
||||
|
|
Loading…
Reference in a new issue