| Index: content/renderer/media/android/webmediaplayer_android.h
|
| diff --git a/content/renderer/media/android/webmediaplayer_android.h b/content/renderer/media/android/webmediaplayer_android.h
|
| index 8d7034251f2485c1dd6c8b1e2fb7676c8c34a704..a52d9fe5667193a80a4a5c390c4f48fd1f26a93e 100644
|
| --- a/content/renderer/media/android/webmediaplayer_android.h
|
| +++ b/content/renderer/media/android/webmediaplayer_android.h
|
| @@ -237,7 +237,8 @@ class WebMediaPlayerAndroid
|
| static void OnReleaseRemotePlaybackTexture(
|
| const scoped_refptr<base::MessageLoopProxy>& main_loop,
|
| const base::WeakPtr<WebMediaPlayerAndroid>& player,
|
| - scoped_ptr<gpu::MailboxHolder> mailbox_holder);
|
| + scoped_ptr<gpu::MailboxHolder> mailbox_holder,
|
| + const std::vector<uint32>& release_sync_points);
|
|
|
| protected:
|
| // Helper method to update the playing state.
|
| @@ -263,7 +264,8 @@ class WebMediaPlayerAndroid
|
| void CreateWebLayerIfNeeded();
|
| void SetCurrentFrameInternal(scoped_refptr<media::VideoFrame>& frame);
|
| void DidLoadMediaInfo(MediaInfoLoader::Status status);
|
| - void DoReleaseRemotePlaybackTexture(uint32 sync_point);
|
| + void DoReleaseRemotePlaybackTexture(
|
| + const std::vector<uint32>& release_sync_points);
|
|
|
| bool IsKeySystemSupported(const std::string& key_system);
|
|
|
|
|