diff --git a/mediawiki/Dockerfile b/mediawiki/Dockerfile
index 37e62e7..11ca027 100644
--- a/mediawiki/Dockerfile
+++ b/mediawiki/Dockerfile
@@ -51,10 +51,6 @@ RUN git clone --depth 1 \
     https://gerrit.wikimedia.org/r/mediawiki/extensions/CreateUserPage \
     /var/www/html/extensions/CreateUserPage
 
-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/mediawiki/extensions/Disambiguator \
     /var/www/html/extensions/Disambiguator