diff --git a/source b/source index f3320584f81..ddf42d413cb 100644 --- a/source +++ b/source @@ -83493,9 +83493,11 @@ interface Location { // but see also Append the browsingContext's active - document's URL URL list.
+Let address be browsingContext's active document's + URL.
Append address to request's + URL list.
Let settings be browsingContext's active document's relevant settings object.
When it comes time to initialize the Document
object, use
+ address as the override URL.
If request is non-null, then set - document's URL to request's - current URL.
+If an override URL is set for this navigation, then set document's + URL to the override URL.
+ +An override URL is set when executing a javascript:
URL request.
Otherwise, if request is non-null, then set document's URL to request's current URL.
Otherwise, set document's URL to response's URL.