add url as additional argument to createMediaPlayer.

webkit/support/webkit_support.h

Index: webkit/support/webkit_support.h
===================================================================
--- webkit/support/webkit_support.h	(revision 151527)
+++ webkit/support/webkit_support.h	(working copy)
@@ -75,6 +75,7 @@
 WebKit::WebPlugin* CreateWebPlugin(WebKit::WebFrame* frame,
                                    const WebKit::WebPluginParams& params);
 
+// TODO(wjia): remove this function after WebKit patch is landed.

[scherkus (not reviewing), 2012/08/15 22:53:57]

ditto

[wjia(left Chromium), 2012/08/15 23:14:35]

Done.

 // This is used by WebFrameClient::createMediaPlayer().
 WebKit::WebMediaPlayer* CreateMediaPlayer(
     WebKit::WebFrame* frame,
@@ -84,8 +85,22 @@
 // This is used by WebFrameClient::createMediaPlayer().
 WebKit::WebMediaPlayer* CreateMediaPlayer(
     WebKit::WebFrame* frame,
+    const WebKit::WebURL& url,
+    WebKit::WebMediaPlayerClient* client,
+    webkit_media::MediaStreamClient* media_stream_client);
+
+// TODO(wjia): remove this function after WebKit patch is landed.
+// This is used by WebFrameClient::createMediaPlayer().
+WebKit::WebMediaPlayer* CreateMediaPlayer(
+    WebKit::WebFrame* frame,
     WebKit::WebMediaPlayerClient* client);
 
+// This is used by WebFrameClient::createMediaPlayer().
+WebKit::WebMediaPlayer* CreateMediaPlayer(
+    WebKit::WebFrame* frame,
+    const WebKit::WebURL& url,
+    WebKit::WebMediaPlayerClient* client);
+
 #if defined(OS_ANDROID)
 void ReleaseMediaResources();
 #endif