Reporting a more accurate buffered time for the video tag

media/base/pipeline.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.
 
 // The pipeline is the public API clients use for playing back media.  Clients
 // provide a filter factory containing the filters they want the pipeline to
 // use to render media.
 
 #ifndef MEDIA_BASE_PIPELINE_H_
 #define MEDIA_BASE_PIPELINE_H_
@@ skipping 111 matching lines @@
   // range from 0.0f (muted) to 1.0f (full volume).  This value affects all
   // channels proportionately for multi-channel audio streams.
   virtual void SetVolume(float volume) = 0;
 
   // Gets the current pipeline time. For a pipeline "time" progresses from 0 to
   // the end of the media.
   virtual base::TimeDelta GetCurrentTime() const = 0;
 
   // Get the approximate amount of playable data buffered so far in micro-
   // seconds.
-  virtual base::TimeDelta GetBufferedTime() const = 0;
+  virtual base::TimeDelta GetBufferedTime() = 0;
 
   // Get the duration of the media in microseconds.  If the duration has not
   // been determined yet, then returns 0.
   virtual base::TimeDelta GetMediaDuration() const = 0;
 
   // Get the total number of bytes that are buffered on the client and ready to
   // be played.
   virtual int64 GetBufferedBytes() const = 0;
 
   // Get the total size of the media file.  If the size has not yet been
@@ skipping 18 matching lines @@
 
  protected:
   // Only allow ourselves to be deleted by reference counting.
   friend class base::RefCountedThreadSafe<Pipeline>;
   virtual ~Pipeline() {}
 };
 
 }  // namespace media
 
 #endif  // MEDIA_BASE_PIPELINE_H_