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
mediawiki-extensions-CodeEd.../modules
History
Timo Tijhof c0c70a2312 Remove use of jquery.ui module aliases 
Bug: T219604
Change-Id: Ia639ca6728ac23c14fa5b1a21317ddd3220c3727
2019-11-26 20:06:59 +00:00
..
ace Fix typo in comments 2019-10-07 04:59:58 +01:00
ext.codeEditor.js build: Update eslint-config-wikimedia to 0.11.0 2019-03-13 22:38:54 +00:00
jquery.codeEditor.js Remove use of jquery.ui module aliases 2019-11-26 20:06:59 +00:00
jquery.codeEditor.less Use OOUI icons 2018-03-23 22:51:35 +00:00