wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 19:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../modules
History
Volker E 75d8b4c112 Replace deprecated OOUI 'find' icon with 'articleSearch' of 'content' pack 
Depends-on: I41c3d5502ff58f72bf7441811eaf17702468469b
Bug: T183645
Change-Id: I0535b667084771ecff3a4c0e14616fc9ee586895
2018-04-02 14:26:48 -07: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 Replace deprecated OOUI 'find' icon with 'articleSearch' of 'content' pack 2018-04-02 14:26:48 -07:00
jquery.codeEditor.less Use OOUI icons 2018-03-23 22:51:35 +00:00