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
mediawiki-extensions-CodeEd.../modules
History
Derk-Jan Hartman aba51ef4f5 Additional CodeEditor buttons 
- toggle invisible characters.
- search and replace (disabled)
- indent/outdent
- line wrapping
- go to line

Icons by Connor Shea

Bug: T61923
Change-Id: I9e434d1b23f8254bc654ebbd31b5e4b70bbf5fe1
2015-05-26 01:43:47 +00:00
..
ace Ace: Update to 2015-01-28 2015-01-28 11:04:27 -08:00
ext.codeEditor.geshi.css CodeEditor: Keep experimental Geshi editor working 2014-08-28 19:41:19 +00:00
ext.codeEditor.geshi.js Merge "Use mediawiki.api.parse" 2014-10-16 17:16:42 +00:00
ext.codeEditor.js Update formatting of JavaScript files 2013-12-31 13:03:11 +01:00
jquery.codeEditor.css Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00
jquery.codeEditor.js Additional CodeEditor buttons 2015-05-26 01:43:47 +00:00