Rename the element field of the DOM Node hierarchy.

See #924
2025-08-05 13:40:08 +01:00 · 2013-10-15 22:48:23 +09:00 · 2013-10-15 22:48:23 +09:00 · 776ab67905
commit 776ab67905
parent fc9a3baa71
8 changed files with 103 additions and 18 deletions
--- a/src/components/script/dom/htmlmediaelement.rs
+++ b/src/components/script/dom/htmlmediaelement.rs
@ -154,3 +154,4 @@ impl HTMLMediaElement {
        Ok(())
    }
 }
+