From cc78a134ff939a33c6cc69fe9f92acd80c7b535d Mon Sep 17 00:00:00 2001
From: Adam Goldsmith <adam@adamgoldsmith.name>
Date: Fri, 27 Sep 2019 16:11:33 -0400
Subject: [PATCH] Add Widgets extension

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

diff --git a/Dockerfile b/Dockerfile
index f67aebe..82a1ac4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -36,4 +36,9 @@ RUN git clone --depth 1 -b $MEDIAWIKI_BRANCH \
     https://gerrit.wikimedia.org/r/mediawiki/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/
 
diff --git a/LocalSettings.php b/LocalSettings.php
index 7f65189..d88bd91 100644
--- a/LocalSettings.php
+++ b/LocalSettings.php
@@ -197,3 +197,5 @@ $wgVirtualRestConfig['modules']['parsoid'] = array(
     'url' => 'http://parsoid:8000',
     'domain' => 'claremontmakerspace',
 );
+
+require_once "$IP/extensions/Widgets/Widgets.php";