Niharika29 has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/363647 )
Change subject: Update CodeMirror ...................................................................... Update CodeMirror Change-Id: Ic8827a4ec0fff3ac32227b73af291c75023fb71f --- M extensions/CodeMirror 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Niharika29: Verified; Looks good to me, approved diff --git a/extensions/CodeMirror b/extensions/CodeMirror index e0f3a23..bc96cb8 160000 --- a/extensions/CodeMirror +++ b/extensions/CodeMirror @@ -1 +1 @@ -Subproject commit e0f3a237190a00075b17cf3c29398ee5bc92d352 +Subproject commit bc96cb80dbdedbd4b28ad763ec01bd5f559a477b -- To view, visit https://gerrit.wikimedia.org/r/363647 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic8827a4ec0fff3ac32227b73af291c75023fb71f 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
