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

Hmm, I think I can work around that -- will test momentarily!