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