Update add_extension.sh to run composer when installing extension, and allow installing extensions from local directory.

add_extension.sh

@@ -3,7 +3,18 @@
 EXT_NAME=$1
 EXT_VERSION=$2
 
-cd /app/extensions
-git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/$1
-cd $1
-git checkout -b $2 origin/$2
+cd "app/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
+
+composer install --no-dev