Hi. CodeMirror is incompatible with wikEd, even when the last is off. I think it should be or fixed, or disabled automatically, when the gadget is enabled, and not promise something impossible, as now, when you get a message "click a pencil to highlight", and the clicking does nothing. Thank you.
Description
Description
Event Timeline
Comment Actions
CodeMirror should only be incompatibly with wikEd and not with wikEdDiff. See https://gerrit.wikimedia.org/r/#/c/395529/