wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor
7 commits 163 branches 5 tags 27 MiB
JavaScript 99.9%
Go to file
Brion Vibber 9578a2322f CodeEditor: attempt at disabling some annoying keyboard shortcuts in Ace, but it's not working. 
Issue filed upstream at https://github.com/ajaxorg/ace/issues/294 & asked about on mailing list.
2011-06-11 00:08:54 +00:00
modules CodeEditor: attempt at disabling some annoying keyboard shortcuts in Ace, but it's not working. 2011-06-11 00:08:54 +00:00
CodeEditor.hooks.php Add stub extension version of CodeEditor embedding Ace (ace.ajax.org) for editing JS and CSS pages. 2011-06-09 21:50:45 +00:00
CodeEditor.i18n.php Add stub extension version of CodeEditor embedding Ace (ace.ajax.org) for editing JS and CSS pages. 2011-06-09 21:50:45 +00:00
CodeEditor.php Partway through integrating CodeEditor more closely with WikiEditor. Special character insertions now work! Bold, link etc will insert their sample text, which is less useful but hey. 2011-06-10 01:11:18 +00:00
Makefile Add stub extension version of CodeEditor embedding Ace (ace.ajax.org) for editing JS and CSS pages. 2011-06-09 21:50:45 +00:00