wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-11 06:46:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
219 commits 12 branches 25 tags 27 MiB
Commit graph

2 commits

Author SHA1 Message Date
Derk-Jan Hartman 7254cda535 Ace: Update to 2015-01-28 
Updated to
6b88b939c2

Includes fixes for drag delay (bug 60432)
and chrome useragent detection: Github issue
https://github.com/ajaxorg/ace/issues/1950

Bug: T62432
Change-Id: I5ac67a812f09ac43e73475613afc9a3f1ddc9a75
 2015-01-28 11:04:27 -08:00
Derk-Jan Hartman 28c4b5ac10 Update ACE to Mar 16, 2014 
This should be merged at the same time as it's followup patch, which
fixes an issue with loading webworkers when hosted on protocol
relative URLs.

Amongst other issues, it fixes bug 60156 with } pairing

Bug: 60156
Change-Id: I962c70ea2a07d27e0c3774095d63f9a5cd3de76e
 2014-03-25 17:46:47 +00:00