mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-27 16:40:07 +00:00
3d8950e7b7
Since 84926bbd33, WikiEditor doesn't check browser support (because all supported browsers by MediaWiki exceed these requirements). Change-Id: I778dcfa75bb0b8a5a530c164e5b908b213d59afe |
||
---|---|---|
.. | ||
ace | ||
ext.codeEditor.js | ||
jquery.codeEditor.js | ||
jquery.codeEditor.less |