mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-23 23:03:46 +00:00
4bb8a4c984
Updated Ace to the latest version of my fork on Github, i.e. approximately 0.2.0 plus some improvements to the Lua indenting module. I have submitted a pull request, so hopefully the next update will be from upstream. The suffixed file names (*-uncompressed, *-noconflict) have disappeared from upstream, replaced by conditional compilation in separate build directories. There's not much point in maintaining two unused copies of the entire source tree, so I deleted them. To avoid migration issues, I re-added symlinks in place of the suffixed files which were previously referenced from MediaWiki. Change-Id: Ic9d2450528769539dfea59bdde7620dbec903604 |
||
---|---|---|
.. | ||
ace | ||
ext.codeEditor.geshi.js | ||
ext.codeEditor.js | ||
jquery.codeEditor.js |