HTMLMediaElement - fire durationchange and resize iff something changes

1 files changed, 8 insertions, 0 deletions

diff --git a/components/script/dom/htmlvideoelement.rs b/components/script/dom/htmlvideoelement.rs
index 59c93bfea6e..25fe6c2d8ed 100644
--- a/components/script/dom/htmlvideoelement.rs
+++ b/components/script/dom/htmlvideoelement.rs
@@ -49,10 +49,18 @@ impl HTMLVideoElement {
         )
     }
 
+    pub fn get_video_width(&self) -> u32 {
+        self.video_width.get()
+    }
+
     pub fn set_video_width(&self, width: u32) {
         self.video_width.set(width);
     }
 
+    pub fn get_video_height(&self) -> u32 {
+        self.video_height.get()
+    }
+
     pub fn set_video_height(&self, height: u32) {
         self.video_height.set(height);
     }