Provide fine grained media playback time thru interpolation

media/base/android/media_player_manager.h

Index: media/base/android/media_player_manager.h
diff --git a/media/base/android/media_player_manager.h b/media/base/android/media_player_manager.h
index be84b086fca7369e774c47050f2013f23d9dd178..58a712f383beb3a9fda231b0b42dbbc99f863871 100644
--- a/media/base/android/media_player_manager.h
+++ b/media/base/android/media_player_manager.h
@@ -28,8 +28,10 @@ class MEDIA_EXPORT MediaPlayerManager {
   virtual MediaUrlInterceptor* GetMediaUrlInterceptor() = 0;
 
   // Called when time update messages need to be sent. Args: player ID,
-  // current time.
-  virtual void OnTimeUpdate(int player_id, base::TimeDelta current_time) = 0;
+  // current timestamp, current time ticks.
+  virtual void OnTimeUpdate(int player_id,
+                            base::TimeDelta current_timestamp,
+                            base::TimeTicks current_time_ticks) = 0;
 
   // Called when media metadata changed. Args: player ID, duration of the
   // media, width, height, whether the metadata is successfully extracted.