wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-15 03:23:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../modules
History
Ed Sanders 3b4ffe089f build: Update eslint to 0.4.0 and make pass 
Change-Id: I764892179b136b8a4ae6940611ba8b4ecb672957
2017-05-04 21:09:35 +00:00
..
ace Update Ace and use scoped require / define 2016-03-14 00:26:27 +01:00
ext.codeEditor.js Replace $( document ).ready(...) by $(...) 2017-01-05 23:03:28 +01:00
jquery.codeEditor.js build: Update eslint to 0.4.0 and make pass 2017-05-04 21:09:35 +00:00
jquery.codeEditor.less Align colors to WikimediaUI color palette 2017-03-15 19:31:55 -07:00