From ca4f5ef567e1366c809c4e6b7268c06260ab3427 Mon Sep 17 00:00:00 2001
From: Adam Goldsmith <adam@adamgoldsmith.name>
Date: Wed, 27 Oct 2021 20:22:23 -0400
Subject: [PATCH] Add ApprovedRevs extension

---
 Dockerfile        | 5 +++++
 LocalSettings.php | 1 +
 2 files changed, 6 insertions(+)

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";