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 0ced5dc08131f250cda4f0231deb99e6b44de111..196f025b25b11f360288deecf088d5b1aa8cd499 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.idl |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.idl |
@@ -59,7 +59,7 @@ enum CanPlayTypeResult { "" /* empty string */, "maybe", "probably" }; |
readonly attribute boolean seeking; |
// playback state |
- [RaisesException=Setter] attribute double currentTime; |
+ attribute double currentTime; |
// FIXME: void fastSeek(double time); |
readonly attribute unrestricted double duration; |
// FIXME: Date getStartDate(); crbug.com/312699 |
@@ -74,10 +74,6 @@ enum CanPlayTypeResult { "" /* empty string */, "maybe", "probably" }; |
void play(); |
void pause(); |
- // media controller |
- [RuntimeEnabled=MediaController, Reflect] attribute DOMString mediaGroup; |
- [RuntimeEnabled=MediaController, TypeChecking=Interface] attribute MediaController? controller; |
- |
// controls |
[Reflect] attribute boolean controls; |
[RaisesException=Setter] attribute double volume; |