Add CodeMirror extension

52poke · Aug 29, 2023 · 3c8cce0 · 3c8cce0
1 parent 71ec901
commit 3c8cce0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -192,3 +192,7 @@
 	path = extensions/UniversalLanguageSelector
 	url = https://github.com/wikimedia/mediawiki-extensions-UniversalLanguageSelector.git
 	branch = REL1_39
+[submodule "extensions/CodeMirror"]
+	path = extensions/CodeMirror
+	url = https://github.com/wikimedia/mediawiki-extensions-CodeMirror.git
+	branch = REL1_39
diff --git a/extensions/CodeMirror b/extensions/CodeMirror