From 6bde45cc796bf5c08b95d811449794dad51045af Mon Sep 17 00:00:00 2001
From: Adrian Malacoda <adrian.malacoda@monarch-pass.net>
Date: Thu, 1 Feb 2018 21:33:56 -0600
Subject: [PATCH] add add_extension script

---
 scripts/add_extension.sh | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 scripts/add_extension.sh

diff --git a/scripts/add_extension.sh b/scripts/add_extension.sh
new file mode 100644
index 00000000..c48e162c
--- /dev/null
+++ b/scripts/add_extension.sh
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+EXT_NAME=$1
+EXT_VERSION=$2
+
+cd "${WIKI_SOURCE}/extensions"
+
+if [[ -e "${EXT_NAME}" ]]; then
+    cp -Rv "${EXT_NAME}" .
+    cd "$(basename ${EXT_NAME})"
+else
+    git clone "https://gerrit.wikimedia.org/r/mediawiki/extensions/${EXT_NAME}"
+    cd "${EXT_NAME}"
+fi
+
+if [[ "${EXT_VERSION}" ]]; then
+    git checkout -b "${EXT_VERSION}" "origin/${EXT_VERSION}"
+fi
+
+if [[ -e "composer.json" ]]; then
+    composer install --no-dev
+fi