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

4 commits

Author SHA1 Message Date
Ed Sanders d4cc23f606 Update ace-build 1.2.9 -> 1.4.9 and recompile 
Change-Id: I31eeb56eec4995e1bff8248e5c1d4df7f20ad48b
 2020-04-14 14:30:34 -07:00
Paladox 628e0a84ab Update ace to 06.08.2017 
Adds support for CSS media queries

Bug: T167686
Bug: T170999
Change-Id: I553191a9b7ac9ce026a40ef9c317bb1171ec6fc1
 2017-08-07 00:08:29 +00:00
Derk-Jan Hartman c158ae5602 Update Ace and use scoped require / define 
This brings Ace to upstream commit
4a55188fdb0eee9e2d3854f175e67408a1e47655

Bug: T127643
Change-Id: I7699e842d7b561b8a35cf7a4ea048f4126eaf856
 2016-03-14 00:26:27 +01:00
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