Thread:MediaWiki talk:Gadget-CodeEditor.js/Tabs/reply (2)

On the one hand there are the Coding conventions that recommend tab chars and on the other hand this editor that inserts 4 spaces!? What game do you play here?