Index: public/platform/WebMediaPlayer.h |
diff --git a/public/platform/WebMediaPlayer.h b/public/platform/WebMediaPlayer.h |
index 204eb52b6b444d1da952f6672e3a639a7e707115..80cb8c59c762d04539f6c62b63e391e3d0516918 100644 |
--- a/public/platform/WebMediaPlayer.h |
+++ b/public/platform/WebMediaPlayer.h |
@@ -114,17 +114,7 @@ public: |
virtual void requestRemotePlaybackControl() { }; |
virtual void setPreload(Preload) { }; |
virtual WebTimeRanges buffered() const = 0; |
- virtual WebTimeRanges seekable() const |
- { |
- if (double end = maxTimeSeekable()) { |
- WebTimeRanges ranges(static_cast<size_t>(1)); |
- ranges[0].start = 0.0; |
- ranges[0].end = end; |
- return ranges; |
- } |
- return WebTimeRanges(); |
- } |
- virtual double maxTimeSeekable() const { return 0.0; } |
+ virtual WebTimeRanges seekable() const = 0; |
// True if the loaded media has a playable video/audio track. |
virtual bool hasVideo() const = 0; |