mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
Make console a namespace (fixes #13010)
This commit is contained in:
parent
0b689a8a31
commit
2bc0862f47
9 changed files with 30 additions and 73 deletions
|
@ -24,10 +24,3 @@ partial interface WorkerGlobalScope { // not obsolete
|
|||
};
|
||||
WorkerGlobalScope implements WindowTimers;
|
||||
WorkerGlobalScope implements WindowBase64;
|
||||
|
||||
// Proprietary
|
||||
[Exposed=Worker]
|
||||
partial interface WorkerGlobalScope {
|
||||
[Replaceable]
|
||||
readonly attribute Console console;
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue