jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373324 )
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 --- M resources/modules/ve-cm/ve.ui.CodeMirrorTool.js 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified Jforrester: Looks good to me, approved 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/373324 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: master Gerrit-Owner: Niharika29 <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
