Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-16 03:43:38 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #8201 - KiChjang:add-missing-htmlpreelement, r=jdm

Browse source 
Add missing htmlpreelement

Fixes #7995. My tests came out pretty weird, with additional crashes and timeouts.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8201)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-10-26 14:07:50 -05:00
commit 6c051ce828
3 changed files with 3 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script/dom/create.rs
View file

@ -197,6 +197,7 @@ pub fn create_element(name: QualName, prefix: Option<Atom>,
atom!("output") => make!(HTMLOutputElement),
atom!("p") => make!(HTMLParagraphElement),
atom!("param") => make!(HTMLParamElement),
atom!("plaintext") => make!(HTMLPreElement),
atom!("pre") => make!(HTMLPreElement),
atom!("progress") => make!(HTMLProgressElement),
atom!("q") => make!(HTMLQuoteElement),
@ -239,6 +240,7 @@ pub fn create_element(name: QualName, prefix: Option<Atom>,
atom!("var") => make!(HTMLElement),
atom!("video") => make!(HTMLVideoElement),
atom!("wbr") => make!(HTMLElement),
atom!("xmp") => make!(HTMLPreElement),
_ => make!(HTMLUnknownElement),
}
}