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