···3535 }
36363737 /// When a pipeline is closed, should its browsing context be discarded too?
3838-@@ -310,6 +318,19 @@
3838+@@ -312,6 +320,19 @@
3939 SetAccessibilityActive(bool),
4040 /// Force a garbage collection in this script thread.
4141 TriggerGarbageCollection,