fix: remove charInset

MooncellWiki · May 4, 2024 · 9b48275 · 9b48275
1 parent 5e1d247
commit 9b48275
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -275,10 +275,6 @@
 	path = extensions/DeleteUserPages
 	url = https://gerrit.wikimedia.org/r/mediawiki/extensions/DeleteUserPages
 	branch = REL1_39
-[submodule "extensions/CharInset"]
-	path = extensions/CharInset
-	url = https://gerrit.wikimedia.org/r/mediawiki/extensions/CharInsert
-	branch = REL1_39
 [submodule "extensions/CharInsert"]
 	path = extensions/CharInsert
 	url = https://gerrit.wikimedia.org/r/mediawiki/extensions/CharInsert

diff --git a/extensions/CharInset b/extensions/CharInset