mirror of
https://github.com/servo/servo.git
synced 2025-09-29 16:19:14 +01:00
Upgrade to SpiderMonkey 140. (#38563)
Upgrade to use the latest mozjs upgrade. Testing: Covered by existing WPT. --------- Signed-off-by: Josh Matthews <josh@joshmatthews.net>
This commit is contained in:
parent
b6cb57287f
commit
604b6ea26d
7 changed files with 27 additions and 29 deletions
|
@ -216,7 +216,6 @@ pub struct Preferences {
|
|||
pub js_mem_max: i64,
|
||||
pub js_native_regex_enabled: bool,
|
||||
pub js_offthread_compilation_enabled: bool,
|
||||
pub js_parallel_parsing_enabled: bool,
|
||||
pub js_shared_memory: bool,
|
||||
pub js_throw_on_asmjs_validation_failure: bool,
|
||||
pub js_throw_on_debuggee_would_run: bool,
|
||||
|
@ -394,7 +393,6 @@ impl Preferences {
|
|||
js_mem_max: -1,
|
||||
js_native_regex_enabled: true,
|
||||
js_offthread_compilation_enabled: true,
|
||||
js_parallel_parsing_enabled: true,
|
||||
js_shared_memory: true,
|
||||
js_throw_on_asmjs_validation_failure: false,
|
||||
js_throw_on_debuggee_would_run: false,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue