mirror of
https://github.com/servo/servo.git
synced 2025-10-08 20:49:24 +01:00
a0783aebbf
These stub implementations bring no value, and significantly increased maintenance costs. This commit also synchronizes the IDL with the HTML specification and makes the URLs consistent.
38 lines
1.3 KiB
Rust
38 lines
1.3 KiB
Rust
/* 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::js::{JSRef};
|
|
use dom::bindings::codegen::InheritTypes::HTMLMediaElementDerived;
|
|
use dom::document::Document;
|
|
use dom::element::{ElementTypeId, HTMLAudioElementTypeId, HTMLVideoElementTypeId};
|
|
use dom::eventtarget::{EventTarget, NodeTargetTypeId};
|
|
use dom::htmlelement::HTMLElement;
|
|
use dom::node::ElementNodeTypeId;
|
|
use servo_util::str::DOMString;
|
|
|
|
#[deriving(Encodable)]
|
|
pub struct HTMLMediaElement {
|
|
pub htmlelement: HTMLElement,
|
|
}
|
|
|
|
impl HTMLMediaElementDerived for EventTarget {
|
|
fn is_htmlmediaelement(&self) -> bool {
|
|
match self.type_id {
|
|
NodeTargetTypeId(ElementNodeTypeId(HTMLVideoElementTypeId)) |
|
|
NodeTargetTypeId(ElementNodeTypeId(HTMLAudioElementTypeId)) => true,
|
|
_ => false
|
|
}
|
|
}
|
|
}
|
|
|
|
impl HTMLMediaElement {
|
|
pub fn new_inherited(type_id: ElementTypeId, tag_name: DOMString, document: &JSRef<Document>) -> HTMLMediaElement {
|
|
HTMLMediaElement {
|
|
htmlelement: HTMLElement::new_inherited(type_id, tag_name, document)
|
|
}
|
|
}
|
|
}
|
|
|
|
pub trait HTMLMediaElementMethods {
|
|
}
|