add AWS extension

mediawiki/Dockerfile

@@ -8,6 +8,10 @@ RUN git clone --depth 1 \
     https://gitlab.com/hydrawiki/extensions/EmbedVideo.git \
     /var/www/html/extensions/EmbedVideo
 
+RUN git clone --depth 1 \
+    https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror \
+    /var/www/html/extensions/CodeMirror
+
 RUN git clone --depth 1 \
     https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Elastica \
     /var/www/html/extensions/Elastica
@@ -20,6 +24,14 @@ RUN git clone --depth 1 \
     https://gerrit.wikimedia.org/r/p/mediawiki/extensions/AdvancedSearch \
     /var/www/html/extensions/AdvancedSearch
 
+RUN git clone --depth 1 \
+    https://github.com/edwardspec/mediawiki-aws-s3.git \
+    /var/www/html/extensions/AWS
+
+ADD composer.local.json /var/www/html/composer.local.json
+
+RUN cd /var/www/html && composer update && cd -
+
 RUN apt update \
     && apt install -y unzip wget
 

mediawiki/composer.local.json

@@ -0,0 +1,9 @@
+{
+	"extra": {
+		"merge-plugin": {
+			"include": [
+				"extensions/AWS/composer.json"
+			]
+		}
+	}
+}