Reporting a more accurate buffered time for the video tag

webkit/glue/webmediaplayer_impl.h

 // Copyright (c) 2010 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // Delegate calls from WebCore::MediaPlayerPrivate to Chrome's video player.
 // It contains PipelineImpl which is the actual media player pipeline, it glues
 // the media player pipeline, data source, audio renderer and renderer.
 // PipelineImpl would creates multiple threads and access some public methods
 // of this class, so we need to be extra careful about concurrent access of
 // methods and members.
@@ skipping 170 matching lines @@
   virtual void pause();
   virtual bool supportsFullscreen() const;
   virtual bool supportsSave() const;
   virtual void seek(float seconds);
   virtual void setEndTime(float seconds);
   virtual void setRate(float rate);
   virtual void setVolume(float volume);
   virtual void setVisible(bool visible);
   virtual bool setAutoBuffer(bool autoBuffer);
   virtual bool totalBytesKnown();
+  virtual const WebKit::WebTimeRanges& buffered();
+  // This is the prototype for the function we are replacing with the
+  // non-const version, but we keep it in so that we don't have to do a
+  // two-sided commit.
   virtual const WebKit::WebTimeRanges& buffered() const;
   virtual float maxTimeSeekable() const;
 
   // Methods for painting.
   virtual void setSize(const WebKit::WebSize& size);
 
   virtual void paint(WebKit::WebCanvas* canvas, const WebKit::WebRect& rect);
 
   // True if the loaded media has a playable video/audio track.
   virtual bool hasVideo() const;
@@ skipping 121 matching lines @@
       WebMediaPlayerImpl::Proxy* proxy) = 0;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(WebVideoRendererFactoryFactory);
 };
 
 
 }  // namespace webkit_glue
 
 #endif  // WEBKIT_GLUE_WEBMEDIAPLAYER_IMPL_H_