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); |