script: Implement the frameBorder attribute on HTMLIFrameElement.

google.com uses this for the "set Google as your home page" popup.
This commit is contained in:
Patrick Walton 2016-10-25 18:42:45 -07:00
parent e888b76534
commit f83e1a34dc
4 changed files with 6 additions and 133 deletions

View file

@ -23,7 +23,7 @@ interface HTMLIFrameElement : HTMLElement {
partial interface HTMLIFrameElement {
// attribute DOMString align;
// attribute DOMString scrolling;
// attribute DOMString frameBorder;
attribute DOMString frameBorder;
// attribute DOMString longDesc;
//[TreatNullAs=EmptyString] attribute DOMString marginHeight;