mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
deps: Bump html5ever
and friends to version 0.35.0
(#37736)
Companion PR for https://github.com/servo/html5ever/pull/637. Testing: Covered by existing web platform tests Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
This commit is contained in:
parent
d0579256bb
commit
e2ad9c14c6
5 changed files with 35 additions and 46 deletions
|
@ -67,7 +67,6 @@ impl Tokenizer {
|
|||
};
|
||||
|
||||
let options = TreeBuilderOpts {
|
||||
ignore_missing_rules: true,
|
||||
scripting_enabled: document.scripting_enabled(),
|
||||
iframe_srcdoc: document.url().as_str() == "about:srcdoc",
|
||||
quirks_mode,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue