Thread:MediaWiki talk:Gadget-CodeEditor.js/Extension work

I'm adapting this as an extension and giving it some tighter integration with WikiEditor; may be able to do that version as a gadget as well.

New ability so far: the toolbar buttons for inserting text (partially) work, allowing use of for instance the special character insertion thingy. Whee!

This experiment is also pre-work for Future editor projects, as we'll be plugging more exciting things in later.