https://bugzilla.wikimedia.org/show_bug.cgi?id=39653
--- Comment #2 from Brad Jorsch <bjor...@wikimedia.org> --- It looks like it's just a matter of not setting $wgCodeEditorEnableCore = false in CommonSettings.php. Are there any outstanding issues that we don't want to turn this on yet? Looking at the list of open bugs, possibly bug 47235 and bug 39557. I'll put it on the agenda for the MW Core team meeting tomorrow. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l