wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-21 03:02:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
53 commits 13 branches 25 tags 28 MiB
Commit graph

2 commits

Author SHA1 Message Date
Brion Vibber 67cc93c468 CodeEditor ext: Update Ace editor to upstream 237c2243734b7968e39bf3c97fa5bb3b26a920c4 
Fixes issues with control keys: https://github.com/ajaxorg/ace/issues/294
 2011-08-02 14:37:03 +00:00
Brion Vibber ec233e4297 Add stub extension version of CodeEditor embedding Ace (ace.ajax.org) for editing JS and CSS pages. 
Simply using the existing gadget version modified to load Ace from the extension directory for now, will integrate better into WikiEditor and use ResourceLoader to load Ace itself in upcoming commits.
 2011-06-09 21:50:45 +00:00