From e997d0bfbdec538c30abbde0de6e3bc26a0af451 Mon Sep 17 00:00:00 2001 From: Ms2ger Date: Fri, 6 Jun 2014 12:33:28 +0200 Subject: [PATCH] Remove htmlmainelement.rs again (re-fixes #2541). --- src/components/script/dom/htmlmainelement.rs | 40 -------------------- 1 file changed, 40 deletions(-) delete mode 100644 src/components/script/dom/htmlmainelement.rs diff --git a/src/components/script/dom/htmlmainelement.rs b/src/components/script/dom/htmlmainelement.rs deleted file mode 100644 index 61c4506de7f..00000000000 --- a/src/components/script/dom/htmlmainelement.rs +++ /dev/null @@ -1,40 +0,0 @@ -/* This Source Code Form is subject to the terms of the Mozilla Public - * License, v. 2.0. If a copy of the MPL was not distributed with this - * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ - -use dom::bindings::codegen::Bindings::HTMLMainElementBinding; -use dom::bindings::codegen::InheritTypes::HTMLMainElementDerived; -use dom::bindings::js::{JSRef, Temporary}; -use dom::document::Document; -use dom::element::HTMLMainElementTypeId; -use dom::eventtarget::{EventTarget, NodeTargetTypeId}; -use dom::htmlelement::HTMLElement; -use dom::node::{Node, ElementNodeTypeId}; -use servo_util::str::DOMString; - -#[deriving(Encodable)] -pub struct HTMLMainElement { - pub htmlelement: HTMLElement -} - -impl HTMLMainElementDerived for EventTarget { - fn is_htmlmainelement(&self) -> bool { - self.type_id == NodeTargetTypeId(ElementNodeTypeId(HTMLMainElementTypeId)) - } -} - -impl HTMLMainElement { - pub fn new_inherited(localName: DOMString, document: &JSRef) -> HTMLMainElement { - HTMLMainElement { - htmlelement: HTMLElement::new_inherited(HTMLMainElementTypeId, localName, document) - } - } - - pub fn new(localName: DOMString, document: &JSRef) -> Temporary { - let element = HTMLMainElement::new_inherited(localName, document); - Node::reflect_node(box element, document, HTMLMainElementBinding::Wrap) - } -} - -pub trait HTMLMainElementMethods { -}