Add ApprovedRevs extension

This commit is contained in:
Adam Goldsmith 2021-10-27 20:22:23 -04:00
parent 1a7d88d545
commit ca4f5ef567
2 changed files with 6 additions and 0 deletions

View File

@ -79,6 +79,11 @@ RUN git clone --depth 1 -b REL${MEDIAWIKI_MAJOR_VERSION/./_} \
https://gerrit.wikimedia.org/r/mediawiki/extensions/Variables \ https://gerrit.wikimedia.org/r/mediawiki/extensions/Variables \
/var/www/html/extensions/Variables /var/www/html/extensions/Variables
# https://www.mediawiki.org/wiki/Extension:Approved_Revs
RUN git clone --depth 1 -b REL${MEDIAWIKI_MAJOR_VERSION/./_} \
https://gerrit.wikimedia.org/r/mediawiki/extensions/ApprovedRevs \
/var/www/html/extensions/ApprovedRevs
# reset back to default shell # reset back to default shell
SHELL ["/bin/sh", "-c"] SHELL ["/bin/sh", "-c"]

View File

@ -223,6 +223,7 @@ wfLoadExtension( 'Variables' );
wfLoadExtension( 'CSS' ); wfLoadExtension( 'CSS' );
wfLoadExtension( 'Widgets' ); wfLoadExtension( 'Widgets' );
wfLoadExtension( 'ApprovedRevs' );
require_once "$IP/extensions/QRLite/QRLite.php"; require_once "$IP/extensions/QRLite/QRLite.php";