Niharika29 has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/363479 )
Change subject: Add CodeMirror submodule ...................................................................... Add CodeMirror submodule Change-Id: Iac00ac44e5d92dc889667c57051919418c45afc3 --- M .gitmodules A extensions/CodeMirror 2 files changed, 4 insertions(+), 0 deletions(-) Approvals: Niharika29: Verified; Looks good to me, approved diff --git a/.gitmodules b/.gitmodules index d1417a7..7023459 100644 --- a/.gitmodules +++ b/.gitmodules @@ -670,3 +670,6 @@ path = vendor url = https://gerrit.wikimedia.org/r/mediawiki/vendor branch = wmf/1.30.0-wmf.7 +[submodule "extensions/CodeMirror"] + path = extensions/CodeMirror + url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/CodeMirror.git diff --git a/extensions/CodeMirror b/extensions/CodeMirror new file mode 160000 index 0000000..e0f3a23 --- /dev/null +++ b/extensions/CodeMirror @@ -0,0 +1 @@ +Subproject commit e0f3a237190a00075b17cf3c29398ee5bc92d352 -- To view, visit https://gerrit.wikimedia.org/r/363479 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iac00ac44e5d92dc889667c57051919418c45afc3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.30.0-wmf.7 Gerrit-Owner: Niharika29 <nko...@wikimedia.org> Gerrit-Reviewer: Niharika29 <nko...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits