Add a new API in WebMediaPlayer to do a GPU-GPU textures copy if possible

webkit/media/webmediaplayer_impl.h

Index: webkit/media/webmediaplayer_impl.h
diff --git a/webkit/media/webmediaplayer_impl.h b/webkit/media/webmediaplayer_impl.h
index c9fba842fae515122419fa7cbe446186501f31d2..ead8e010da737b390e47b470a1cf7d3e1a221b47 100644
--- a/webkit/media/webmediaplayer_impl.h
+++ b/webkit/media/webmediaplayer_impl.h
@@ -32,6 +32,7 @@
 #include "media/base/pipeline.h"
 #include "media/filters/skcanvas_video_renderer.h"
 #include "skia/ext/platform_canvas.h"
+#include "third_party/WebKit/Source/Platform/chromium/public/WebGraphicsContext3D.h"
 #include "third_party/WebKit/Source/WebKit/chromium/public/WebAudioSourceProvider.h"
 #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaPlayer.h"
 #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaPlayerClient.h"
@@ -143,6 +144,13 @@ class WebMediaPlayerImpl
   virtual WebKit::WebVideoFrame* getCurrentFrame();
   virtual void putCurrentFrame(WebKit::WebVideoFrame* web_video_frame);
 
+  // Do the GPU-GPU texture copy using CHROMIUM_copy_texture extension

[scherkus (not reviewing), 2013/03/08 20:17:37]

technically this comment belongs on the interface definition as opposed to the
implementation here, so I'd just remove it here

+  virtual bool copyVideoTextureToPlatformTexture(
+      WebKit::WebGraphicsContext3D* webGraphicsContext,

[scherkus (not reviewing), 2013/03/08 20:17:37]

chromium uses unix_hacker style for variable names -- yes, I understand things
get a bit confusing when you implement a WebKit interface in Chromium :)

web_graphics_context

+      unsigned int texture,
+      unsigned int level,
+      unsigned int internalFormat);

[scherkus (not reviewing), 2013/03/08 20:17:37]

internal_format

+
   virtual WebKit::WebAudioSourceProvider* audioSourceProvider();
 
   virtual MediaKeyException generateKeyRequest(