Add Widgets extension

This commit is contained in:
Adam Goldsmith 2019-09-27 16:11:33 -04:00
parent 160d40d7d0
commit cc78a134ff
2 changed files with 7 additions and 0 deletions

View File

@ -36,4 +36,9 @@ RUN git clone --depth 1 -b $MEDIAWIKI_BRANCH \
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror \ https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror \
/var/www/html/extensions/CodeMirror /var/www/html/extensions/CodeMirror
RUN git clone --depth 1 -b $MEDIAWIKI_BRANCH \
https://gerrit.wikimedia.org/r/mediawiki/extensions/Widgets \
/var/www/html/extensions/Widgets \
&& cd /var/www/html/extensions/Widgets && composer update --no-dev \
&& chown www-data: compiled_templates/

View File

@ -197,3 +197,5 @@ $wgVirtualRestConfig['modules']['parsoid'] = array(
'url' => 'http://parsoid:8000', 'url' => 'http://parsoid:8000',
'domain' => 'claremontmakerspace', 'domain' => 'claremontmakerspace',
); );
require_once "$IP/extensions/Widgets/Widgets.php";