jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373397 )
Change subject: Update the CodeMirror icon in NWE to the highlight icon, like in the other editors ...................................................................... Update the CodeMirror icon in NWE to the highlight icon, like in the other editors Change-Id: I92c61c0bb21fc80ee6ab3ffd521d59764e757f7c (cherry picked from commit c6ab876fe7b203b397fe468fa9c82c75f2f51002) --- M resources/modules/ve-cm/ve.ui.CodeMirrorTool.js 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: MaxSem: Looks good to me, approved jenkins-bot: Verified diff --git a/resources/modules/ve-cm/ve.ui.CodeMirrorTool.js b/resources/modules/ve-cm/ve.ui.CodeMirrorTool.js index e7cd52e..31f781d 100644 --- a/resources/modules/ve-cm/ve.ui.CodeMirrorTool.js +++ b/resources/modules/ve-cm/ve.ui.CodeMirrorTool.js @@ -25,7 +25,7 @@ ve.ui.CodeMirrorTool.static.name = 'codeMirror'; ve.ui.CodeMirrorTool.static.autoAddToCatchall = false; ve.ui.CodeMirrorTool.static.title = OO.ui.deferMsg( 'codemirror-toggle-label' ); -ve.ui.CodeMirrorTool.static.icon = 'code'; +ve.ui.CodeMirrorTool.static.icon = 'highlight'; ve.ui.CodeMirrorTool.static.group = 'codeMirror'; ve.ui.CodeMirrorTool.static.commandName = 'codeMirror'; ve.ui.CodeMirrorTool.static.deactivateOnSelect = false; -- To view, visit https://gerrit.wikimedia.org/r/373397 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I92c61c0bb21fc80ee6ab3ffd521d59764e757f7c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CodeMirror Gerrit-Branch: wmf/1.30.0-wmf.14 Gerrit-Owner: Niharika29 <nko...@wikimedia.org> Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits