mirror of
https://github.com/servo/servo
synced 2026-05-02 20:32:02 +02:00
HTMLScriptElement: Added missing DOM properties
This should sort out most (all?) of the ones pointed out in #10227. (Amended with suggested fixes in PR #10354.)
This commit is contained in:
@@ -6,12 +6,12 @@
|
||||
// https://html.spec.whatwg.org/multipage/#htmlscriptelement
|
||||
interface HTMLScriptElement : HTMLElement {
|
||||
attribute DOMString src;
|
||||
// attribute DOMString type;
|
||||
// attribute DOMString charset;
|
||||
attribute DOMString type;
|
||||
attribute DOMString charset;
|
||||
// attribute boolean async;
|
||||
// attribute boolean defer;
|
||||
attribute boolean defer;
|
||||
// attribute DOMString crossOrigin;
|
||||
[Pure]
|
||||
[Pure]
|
||||
attribute DOMString text;
|
||||
|
||||
// also has obsolete members
|
||||
@@ -19,6 +19,6 @@ interface HTMLScriptElement : HTMLElement {
|
||||
|
||||
// https://html.spec.whatwg.org/multipage/#HTMLScriptElement-partial
|
||||
partial interface HTMLScriptElement {
|
||||
// attribute DOMString event;
|
||||
// attribute DOMString htmlFor;
|
||||
attribute DOMString event;
|
||||
attribute DOMString htmlFor;
|
||||
};
|
||||
|
||||
Reference in New Issue
Block a user