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
Ed Sanders 8c6473826a Remove obsolete aliases from closures 
Bug: T208951
Change-Id: Ib3502d54c39e65c2aed38f7e630a8b8286d522c2
2018-11-12 13:16:11 +00:00
..
ace Update ace to 06.08.2017 2017-08-07 00:08:29 +00:00
ext.codeEditor.js Merge "Remove browser support comments" 2018-03-21 23:40:07 +00:00
jquery.codeEditor.js Remove obsolete aliases from closures 2018-11-12 13:16:11 +00:00
jquery.codeEditor.less Use OOUI icons 2018-03-23 22:51:35 +00:00