Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove Servo window.trap() extension (#30743)

Browse source 
This Servo-specific extension is unused by any code in the repository
and removing it allows us to remove use of nightly only reliance on
rust intrinsics. This is a step toward supporting stable rust.
This commit is contained in:
Martin Robinson 2023-11-17 08:43:26 +01:00 • committed by GitHub
parent 378fdbe225
commit 50732b49c5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 0 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script/dom/webidls/Window.webidl
View file

@ -141,8 +141,6 @@ partial interface Window {
[Pref="dom.servo_helpers.enabled"]
undefined gc();
[Pref="dom.servo_helpers.enabled"]
undefined trap();
[Pref="dom.servo_helpers.enabled"]
undefined js_backtrace();
};