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
Derk-Jan Hartman e8fbe62ef0 Make use of new WikiEditor 2010 toggle tool 
Set a specific WikiEditor version dependency of 0.5.2.

Bug: T198781
Change-Id: I6664a7ff2383d83c7d0fa1fd45e2539fad40c1d0
Depends-On: I8b7fd41571a48fa4f6560790d94bb966972e740f
2018-08-17 11:22:36 -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 Make use of new WikiEditor 2010 toggle tool 2018-08-17 11:22:36 -07:00
jquery.codeEditor.less Use OOUI icons 2018-03-23 22:51:35 +00:00