From 32276aa0b311c298c72e6789689acc40bd404442 Mon Sep 17 00:00:00 2001 From: Seaswimmer Date: Thu, 1 Aug 2024 14:00:09 -0400 Subject: [PATCH] removed duplicate extension (CodeMirror) --- mediawiki/Dockerfile | 4 ---- 1 file changed, 4 deletions(-) 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