| Index: content/renderer/render_view_impl.h
|
| diff --git a/content/renderer/render_view_impl.h b/content/renderer/render_view_impl.h
|
| index 64d4f39541a19e59afdfe4a875d0445c20cdfd01..9d8fdb7e53d2524a69e2ba11980a1d36e605c983 100644
|
| --- a/content/renderer/render_view_impl.h
|
| +++ b/content/renderer/render_view_impl.h
|
| @@ -122,6 +122,12 @@ class ImageResourceFetcher;
|
| class ResourceFetcher;
|
| }
|
|
|
| +#if defined(OS_ANDROID)
|
| +namespace webkit_media {
|
| +class WebMediaPlayerManagerAndroid;
|
| +}
|
| +#endif
|
| +
|
| namespace WebKit {
|
| class WebApplicationCacheHost;
|
| class WebApplicationCacheHostClient;
|
| @@ -244,6 +250,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(
|
| @@ -1365,6 +1377,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
|
|
|