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