diff --git a/Dockerfile b/Dockerfile index 536f65a..dc2eba5 100644 --- a/Dockerfile +++ b/Dockerfile @@ -79,6 +79,11 @@ RUN git clone --depth 1 -b REL${MEDIAWIKI_MAJOR_VERSION/./_} \ https://gerrit.wikimedia.org/r/mediawiki/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 SHELL ["/bin/sh", "-c"] diff --git a/LocalSettings.php b/LocalSettings.php index 133c13d..50173b3 100644 --- a/LocalSettings.php +++ b/LocalSettings.php @@ -223,6 +223,7 @@ wfLoadExtension( 'Variables' ); wfLoadExtension( 'CSS' ); wfLoadExtension( 'Widgets' ); +wfLoadExtension( 'ApprovedRevs' ); require_once "$IP/extensions/QRLite/QRLite.php";