| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index 3cf979387299fe6ffc878c4e41712f517dc7a456..3c96e8c59024c776b4036b0b4d72abe0dee79789 100644
|
| --- a/Source/core/html/HTMLMediaElement.idl
|
| +++ b/Source/core/html/HTMLMediaElement.idl
|
| @@ -78,8 +78,6 @@ attribute boolean muted;
|
| [Reflect=muted] attribute boolean defaultMuted;
|
|
|
| // WebKit extensions
|
| -attribute boolean webkitPreservesPitch;
|
| -
|
| readonly attribute boolean webkitHasClosedCaptions;
|
| attribute boolean webkitClosedCaptionsVisible;
|
|
|
|
|