diff --git a/source b/source index 877761a9424..f41e6f9c608 100644 --- a/source +++ b/source @@ -57192,6 +57192,12 @@ interface HTMLOptionElement : HTMLElement { +
+

When an option element is popped off the stack of open elements of an + HTML parser or XML parser, the user agent must run maybe clone an + option into selectedcontent given the option.

+
+
option.selected
@@ -141391,17 +141397,6 @@ document.body.appendChild(text);

Insert an HTML element for the token.

-
An end tag whose tag name is "option"
-
-

Let option be the first option element in the stack of open - elements.

- -

Run the steps for "any other end tag."

- -

If option is no longer in the stack of open elements, then run - maybe clone an option into selectedcontent given option.

-
-
A start tag whose tag name is one of: "rb", "rtc"

If the stack of open elements has a