Thread:MediaWiki talk:Gadget-CodeEditor.js/Edit summary/reply (4)

Ok, updated version should point to CodeEditor which should work correctly when the gadget is loaded from other Wikimedia wikis.