Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix document URL setting for javascript: URLs #4698

Merged
merged 3 commits into from
Jul 5, 2019

Conversation

TimothyGu
Copy link
Member

@TimothyGu TimothyGu commented Jun 14, 2019

A series of changes starting with 6440cca which removed the override URL concept as well as intermediate cleanups such as e13762f eroded the correctness of javascript: document URLs. Now it seems to be the case that fixing this typo restores the correct handling for such URLs.

Addresses some concern raised in #3989.

Original outdated description

This concept was deleted in 6440cca along with "overridden overload", but it was discovered in #3989 that correct handling for javascript: URLs still depend on this concept. The spec around this area has changed quite a bit since then due to intermediate cleanups such as e13762f, so this is not a simple revert.

Also, fix ungrammatical "append URL URL list" that was accidentally introduced in e13762f.

Addresses some concern raised in #3989.


It would be nice if we can have some tests for this, though this is arguably just fixing a spec bug.

/cc @bzbarsky


/browsing-the-web.html ( diff )

source Outdated Show resolved Hide resolved
This concept was deleted in 6440cca along with "overridden overload",
but it was discovered in whatwg#3989 that correct handling for javascript:
URLs still depend on this concept. The spec around this area has changed
quite a bit since then due to intermediate cleanups such as e13762f,
so this is not a simple revert.

Also, fix ungrammatical "append URL URL list" that was accidentally
introduced in e13762f.

Addresses some concern raised in whatwg#3989.
A series of changes starting with 6440cca which removed the override
URL concept as well as intermediate cleanups such as e13762f eroded
the correctness of javascript: document URLs. Now it seems to be the
case that fixing this typo restores the correct handling for such URLs.

Addresses some concern raised in whatwg#3989.
@TimothyGu
Copy link
Member Author

I've changed the PR to not reintroduce override URL as @annevk discovered once we fix the URL list appending the handling seems correct. @bzbarsky could you please double-check if this is good?

@TimothyGu TimothyGu changed the title Restore override URL concept for javascript: URLs Fix document URL setting for javascript: URLs Jul 1, 2019
Copy link
Member

@domenic domenic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM but we should indeed get @bzbarsky to double check.

@domenic domenic self-assigned this Jul 2, 2019
Copy link
Contributor

@bzbarsky bzbarsky left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, this makes a lot more sense. Thank you, and sorry for the horrible review lag....

@domenic domenic merged commit 06aa2d6 into whatwg:master Jul 5, 2019
@TimothyGu TimothyGu deleted the override-url branch July 6, 2019 03:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

4 participants