| Index: content/renderer/render_view_impl.h
|
| diff --git a/content/renderer/render_view_impl.h b/content/renderer/render_view_impl.h
|
| index 64085806118d287c739193f6de4aa3a704a384a5..1668e8405229dfb5c8a66a75b43bb92db8361d36 100644
|
| --- a/content/renderer/render_view_impl.h
|
| +++ b/content/renderer/render_view_impl.h
|
| @@ -119,6 +119,12 @@ class ImageResourceFetcher;
|
| class ResourceFetcher;
|
| }
|
|
|
| +#if defined(OS_ANDROID)
|
| +namespace webkit_media {
|
| +class WebMediaPlayerManagerAndroid;
|
| +}
|
| +#endif
|
| +
|
| namespace WebKit {
|
| class WebApplicationCacheHost;
|
| class WebApplicationCacheHostClient;
|
| @@ -240,6 +246,12 @@ class RenderViewImpl : public RenderWidget,
|
| return mouse_lock_dispatcher_;
|
| }
|
|
|
| +#if defined(OS_ANDROID)
|
| + webkit_media::WebMediaPlayerManagerAndroid* media_player_manager() {
|
| + return media_player_manager_.get();
|
| + }
|
| +#endif
|
| +
|
| WebKit::WebPeerConnectionHandler* CreatePeerConnectionHandler(
|
| WebKit::WebPeerConnectionHandlerClient* client);
|
| WebKit::WebPeerConnection00Handler* CreatePeerConnectionHandlerJsep(
|
| @@ -1321,6 +1333,11 @@ class RenderViewImpl : public RenderWidget,
|
| // Wraps the |webwidget_| as a MouseLockDispatcher::LockTarget interface.
|
| scoped_ptr<MouseLockDispatcher::LockTarget> webwidget_mouse_lock_target_;
|
|
|
| +#if defined(OS_ANDROID)
|
| + // The media player manager for managing all the media players on this view.
|
| + scoped_ptr<webkit_media::WebMediaPlayerManagerAndroid> media_player_manager_;
|
| +#endif
|
| +
|
| // Plugins -------------------------------------------------------------------
|
|
|
| // All the currently active plugin delegates for this RenderView; kept so
|
|
|