| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index bcde3cac2e931cd9b449dfa7876e9cfa2a10aaff..4247a489dc1961b4ed537f7f5cfabb423ea77ed2 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -142,11 +142,6 @@ public:
|
| void play();
|
| void pause();
|
|
|
| -// captions
|
| - bool webkitHasClosedCaptions() const;
|
| - bool webkitClosedCaptionsVisible() const;
|
| - void setWebkitClosedCaptionsVisible(bool);
|
| -
|
| // Statistics
|
| unsigned webkitAudioDecodedByteCount() const;
|
| unsigned webkitVideoDecodedByteCount() const;
|
|
|