mirror of
https://github.com/servo/servo.git
synced 2025-08-06 22:15:33 +01:00
Auto merge of #27266 - jdm:hubs-stubs3, r=Manishearth
Hide Window extension methods by default and add helper Window.js_backtrace method Fixes #26858.
This commit is contained in:
commit
1e182cd185
16 changed files with 40 additions and 8 deletions
|
@ -136,9 +136,14 @@ partial interface Window {
|
|||
|
||||
// Proprietary extensions.
|
||||
partial interface Window {
|
||||
[Pref="dom.servo_helpers.enabled"]
|
||||
void debug(DOMString arg);
|
||||
[Pref="dom.servo_helpers.enabled"]
|
||||
void gc();
|
||||
[Pref="dom.servo_helpers.enabled"]
|
||||
void trap();
|
||||
[Pref="dom.servo_helpers.enabled"]
|
||||
void js_backtrace();
|
||||
};
|
||||
|
||||
// WebDriver extensions
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue