We trying again

dtekcth · Apr 4, 2023 · 996028d · 996028d
1 parent 0284ee4
commit 996028d
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 6 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,7 +1,3 @@
 [submodule "extensions/UserMerge"]
 	path = extensions/UserMerge
 	url = https://github.com/wikimedia/mediawiki-extensions-UserMerge.git
-[submodule "extensions/VisualEditor"]
-	path = extensions/VisualEditor
-  url = https://github.com/wikimedia/mediawiki-extensions-VisualEditor.git
-  branch = REL1_31
diff --git a/extensions/UserMerge b/extensions/UserMerge
diff --git a/extensions/VisualEditor b/extensions/VisualEditor