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

dom: Hide debugging extension methods behind a pref.

Browse source
This commit is contained in:
Josh Matthews 2020-07-14 12:16:34 -04:00
parent 9fe92ecb4c
commit e6cdfddea6
14 changed files with 19 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/config/prefs.rs
View file

@ -187,6 +187,9 @@ mod gen {
enabled: bool,
timeout_seconds: i64,
},
servo_helpers: {
enabled: bool,
},
servoparser: {
async_html_tokenizer: {
enabled: bool,

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

@ -136,8 +136,11 @@ 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();
};