| 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
|
|
|