aboutsummaryrefslogtreecommitdiffstats
path: root/components/script/dom/htmlmediaelement.rs
diff options
context:
space:
mode:
authorFernando Jiménez Moreno <ferjmoreno@gmail.com>2019-05-10 20:01:22 +0200
committerFernando Jiménez Moreno <ferjmoreno@gmail.com>2019-07-22 17:40:15 +0200
commitf16cf2d6a42b2b65d3bc6c4a4eaa80d0c337a57e (patch)
tree6ff92eff66a25bd0df69536e26a74d8e0bfaf38c /components/script/dom/htmlmediaelement.rs
parenteccf738b09044c45067e6a5bc29f91d6f4e9ef19 (diff)
downloadservo-f16cf2d6a42b2b65d3bc6c4a4eaa80d0c337a57e.tar.gz
servo-f16cf2d6a42b2b65d3bc6c4a4eaa80d0c337a57e.zip
Expose HTMLMediaElement.controls
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
-rw-r--r--components/script/dom/htmlmediaelement.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs
index a242300efec..8e29bd1a9d2 100644
--- a/components/script/dom/htmlmediaelement.rs
+++ b/components/script/dom/htmlmediaelement.rs
@@ -1856,6 +1856,11 @@ impl HTMLMediaElementMethods for HTMLMediaElement {
// https://html.spec.whatwg.org/multipage/#dom-media-defaultmuted
make_bool_setter!(SetDefaultMuted, "muted");
+ // https://html.spec.whatwg.org/multipage/#dom-media-controls
+ make_bool_getter!(Controls, "controls");
+ // https://html.spec.whatwg.org/multipage/#dom-media-controls
+ make_bool_setter!(SetControls, "controls");
+
// https://html.spec.whatwg.org/multipage/#dom-media-src
make_url_getter!(Src, "src");