script: Reload the page when an incompatible encoding is detected during parsing #56975
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This continues servo/servo#41376. With this change servo will properly parse
<meta charset> and<meta http-equiv="content-type">tags and reload the page when appropriate.Encoding hints encountered during dynamic markup insertion (such as
document.write) or when the encoding does not matter (such as duringDOMParser.parseFromString) are ignored.@jdm I've added you as a co-author on the commit, since I used https://gist.github.com/jdm/1f08c1b8b3c33d3f5c44882a1b5eb822 which you posted earlier this year on zulip.
Companion PR for servo/html5ever#702
Fixes servo/servo#24898
Closes servo/servo#6414
Reviewed in servo/servo#41430