Index: third_party/WebKit/Source/core/html/HTMLMediaElement.idl |
diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.idl b/third_party/WebKit/Source/core/html/HTMLMediaElement.idl |
index dac9436545d0e6d367217f726b27fb747b88a195..e002ff1235ed23700f6e298bcac5af04add48882 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.idl |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.idl |
@@ -28,6 +28,7 @@ |
enum CanPlayTypeResult { "" /* empty string */, "maybe", "probably" }; |
[ |
DependentLifetime, |
+ RequiresFinalizer, |
] interface HTMLMediaElement : HTMLElement { |
// error state |