mirror of
https://github.com/servo/servo.git
synced 2025-08-18 11:55:39 +01:00
window: avoid NonNull<JSObject> in NamedGetter (#35508)
Signed-off-by: Gae24 <96017547+Gae24@users.noreply.github.com>
This commit is contained in:
parent
f5ed44c3aa
commit
56199fd153
3 changed files with 8 additions and 22 deletions
|
@ -45,7 +45,7 @@
|
|||
optional DOMString features = "");
|
||||
//getter WindowProxy (unsigned long index);
|
||||
|
||||
getter object (DOMString name);
|
||||
getter NamedPropertyValue (DOMString name);
|
||||
|
||||
// the user agent
|
||||
readonly attribute Navigator navigator;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue