| Index: webkit/media/android/webmediaplayer_android.h
|
| diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h
|
| index 371513c9f45a932d2a45c0a5e06f218a022d4647..f22779cfdbf82b75dd3e49b0bb1684051d92c794 100644
|
| --- a/webkit/media/android/webmediaplayer_android.h
|
| +++ b/webkit/media/android/webmediaplayer_android.h
|
| @@ -13,6 +13,7 @@
|
| #include "base/message_loop.h"
|
| #include "base/time.h"
|
| #include "cc/layers/video_frame_provider.h"
|
| +#include "gpu/command_buffer/common/mailbox.h"
|
| #include "third_party/WebKit/Source/Platform/chromium/public/WebSize.h"
|
| #include "third_party/WebKit/Source/Platform/chromium/public/WebURL.h"
|
| #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaPlayer.h"
|
| @@ -238,6 +239,11 @@ class WebMediaPlayerAndroid
|
| // GL texture ID allocated to the video.
|
| unsigned int texture_id_;
|
|
|
| + // GL texture mailbox for texture_id_ to provide in the VideoFrame, and sync
|
| + // point for when the mailbox was produced.
|
| + gpu::Mailbox texture_mailbox_;
|
| + unsigned int texture_mailbox_sync_point_;
|
| +
|
| // Stream texture ID allocated to the video.
|
| unsigned int stream_id_;
|
|
|
|
|