diff --git a/mediawiki/Dockerfile b/mediawiki/Dockerfile
index 8d24758..13862cf 100644
--- a/mediawiki/Dockerfile
+++ b/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