Steps to reproduce:
- Open any page CodeEditor works on for editing, e.g. https://de.wikipedia.org/w/index.php?title=Modul:Foo&action=edit&redlink=1
- Click the icon to disable CodeEditor.
- Use any function of the toolbar, e.g. insert a special character, or try to search and replace something.
Expected result: The special character should be inserted, search&replace be executed.
Actual result: An error is thrown: TypeError: context.codeEditor is undefined
This might be related to https://gerrit.wikimedia.org/r/139690
Version: unspecified
Severity: major