| Index: third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLVideoElement.h b/third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| index a956e36c861931a68f796470d32cf1669afefbb0..6c9a1f559ccf3e90657b0d2237bdb4f307d6b5ce 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| @@ -79,10 +79,12 @@ class CORE_EXPORT HTMLVideoElement final : public HTMLMediaElement,
|
|
|
| // Used by WebGL to do GPU-GPU textures copy if possible.
|
| bool CopyVideoTextureToPlatformTexture(gpu::gles2::GLES2Interface*,
|
| + GLenum target,
|
| GLuint texture,
|
| GLenum internal_format,
|
| GLenum format,
|
| GLenum type,
|
| + GLint level,
|
| bool premultiply_alpha,
|
| bool flip_y);
|
|
|
|
|