Last modified: 2012-08-15 18:04:33 UTC
Please add "CodeEditor" (<https://www.mediawiki.org/wiki/Extension:CodeEditor>) as a component of the "MediaWiki extensions" product in Bugzilla.
*** This bug has been marked as a duplicate of bug 39331 ***