2020-07-27 05:04:26 +01:00
|
|
|
interface HTMLFormElement : HTMLElement {
|
|
|
|
|
|
|
|
[Reflect] attribute DOMString name;
|
|
|
|
[Reflect] attribute DOMString rel;
|
2020-08-09 17:10:41 +01:00
|
|
|
[Reflect=accept-charset] attribute DOMString acceptCharset;
|
2020-07-27 05:04:26 +01:00
|
|
|
|
|
|
|
}
|