Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove HTMLMainElement.

Browse source 
https://github.com/mozilla/servo/issues/2541
This commit is contained in:
Tetsuharu OHZEKI 2014-06-02 04:40:46 +09:00
parent 6751990c0d
commit 49362aa255
9 changed files with 2 additions and 63 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/components/script/html/hubbub_html_parser.rs
View file

@ -229,7 +229,7 @@ pub fn build_element_from_tag(tag: DOMString, document: &JSRef<Document>) -> Tem
handle_element!(document, tag, "legend", HTMLLegendElement);
handle_element!(document, tag, "li", HTMLLIElement);
handle_element!(document, tag, "link", HTMLLinkElement);
handle_element!(document, tag, "main", HTMLMainElement);
handle_element!(document, tag, "main", HTMLElement);
handle_element!(document, tag, "map", HTMLMapElement);
handle_element!(document, tag, "mark", HTMLElement);
handle_element!(document, tag, "marquee", HTMLElement);