Buffered time ranges for <video>

webkit/api/public/WebMediaPlayer.h

Index: webkit/api/public/WebMediaPlayer.h
diff --git a/webkit/api/public/WebMediaPlayer.h b/webkit/api/public/WebMediaPlayer.h
index ddd88e4daacd62d8d7491f4c344a6498f6a5e969..b6df8bc46805e71cc0c0f8317b1a1614f7de3ab0 100644
--- a/webkit/api/public/WebMediaPlayer.h
+++ b/webkit/api/public/WebMediaPlayer.h
@@ -31,6 +31,8 @@
 #ifndef WebMediaPlayer_h
 #define WebMediaPlayer_h
 
+#include <vector>
+
 #include "WebCanvas.h"
 
 namespace WebKit {
@@ -39,6 +41,15 @@ namespace WebKit {
     struct WebRect;
     struct WebSize;
 
+    struct WebTimeRange {
+        WebTimeRange(float s, float e) : start(s), end(e) {}
+
+        float start;
+        float end;
+    };
+
+    typedef std::vector<WebTimeRange> WebTimeRanges;
+
     class WebMediaPlayer {
     public:
         enum NetworkState {
@@ -83,7 +94,7 @@ namespace WebKit {
         virtual void setVisible(bool) = 0;
         virtual bool setAutoBuffer(bool) = 0;
         virtual bool totalBytesKnown() = 0;
-        virtual float maxTimeBuffered() const = 0;
+        virtual const WebTimeRanges& buffered() const = 0;
         virtual float maxTimeSeekable() const = 0;
 
         virtual void setSize(const WebSize&) = 0;