Topic on Extension talk:CodeEditor

FYI, a new category has been created on Wikimedia Commons to categorize files related to this extension: commons:Category:MediaWiki extension CodeEditor.