As reported on [[mw:Thread:MediaWiki_talk:Gadget-CodeEditor.js/Tabs]] and on [[mw:Thread:MediaWiki talk:Gadget-CodeEditor.js/And where is the extension?]]
it would be useful if the code editor could indent the code using tabs instead of spaces.
Version: unspecified
Severity: major