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
13 commits 163 branches 5 tags 27 MiB
JavaScript 99.9%
Go to file
Brion Vibber c981d97061 CodeEditor: add an interface for gadget loader to override the local $wgExtensionAssetsPath for CodeEditor's usage (to load its icons)
2011-06-16 22:51:39 +00:00
images CodeEditor ext: basic ability to toggle the syntax-highlighting editor on/off. 2011-06-16 22:30:01 +00:00
modules CodeEditor: add an interface for gadget loader to override the local $wgExtensionAssetsPath for CodeEditor's usage (to load its icons) 2011-06-16 22:51:39 +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 CodeEditor ext: basic ability to toggle the syntax-highlighting editor on/off. 2011-06-16 22:30:01 +00:00
CodeEditor.php CodeEditor ext: basic ability to toggle the syntax-highlighting editor on/off. 2011-06-16 22:30:01 +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