mirror of
https://github.com/servo/servo.git
synced 2025-08-11 16:35:33 +01:00
Update type of custom element constructor
This commit is contained in:
parent
7cc4165dda
commit
6d426f7c14
2 changed files with 12 additions and 5 deletions
|
@ -6,13 +6,15 @@
|
|||
[Pref="dom.customelements.enabled"]
|
||||
interface CustomElementRegistry {
|
||||
[Throws, CEReactions]
|
||||
void define(DOMString name, Function constructor_, optional ElementDefinitionOptions options);
|
||||
void define(DOMString name, CustomElementConstructor constructor_, optional ElementDefinitionOptions options);
|
||||
|
||||
any get(DOMString name);
|
||||
|
||||
Promise<void> whenDefined(DOMString name);
|
||||
};
|
||||
|
||||
callback CustomElementConstructor = any();
|
||||
|
||||
dictionary ElementDefinitionOptions {
|
||||
DOMString extends;
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue