QChris has uploaded a new change for review.
https://gerrit.wikimedia.org/r/155073
Change subject: Remove PhpTagsCodeEditor module, as the repo will be deleted
......................................................................
Remove PhpTagsCodeEditor module, as the repo will be deleted
Change-Id: If1042e8eb77a4e2030d1f063989f7a76a05e7513
---
M .gitmodules
D PhpTagsCodeEditor
2 files changed, 0 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions
refs/changes/73/155073/1
diff --git a/.gitmodules b/.gitmodules
index 288cbca..fb59c85 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1554,10 +1554,6 @@
path = PhpTags
url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/PhpTags.git
branch = .
-[submodule "PhpTagsCodeEditor"]
- path = PhpTagsCodeEditor
- url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/PhpTagsCodeEditor.git
- branch = .
[submodule "PhpTagsDebugger"]
path = PhpTagsDebugger
url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/PhpTagsDebugger.git
diff --git a/PhpTagsCodeEditor b/PhpTagsCodeEditor
deleted file mode 160000
index f328d90..0000000
--- a/PhpTagsCodeEditor
+++ /dev/null
-Subproject commit f328d90a229b0b46dd3d4421ac7f5f318faa35ce
--
To view, visit https://gerrit.wikimedia.org/r/155073
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: If1042e8eb77a4e2030d1f063989f7a76a05e7513
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: REL1_23
Gerrit-Owner: QChris <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
