wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-13 17:53:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor
5 commits 162 branches 5 tags 26 MiB
JavaScript 99.9%
Go to file
Brion Vibber 3603c6acae CodeEditor: now integrates with WikiEditor's search-replace
2011-06-10 20:04:17 +00:00
modules CodeEditor: now integrates with WikiEditor's search-replace 2011-06-10 20:04:17 +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