| Index: content/renderer/render_view_impl.h
|
| diff --git a/content/renderer/render_view_impl.h b/content/renderer/render_view_impl.h
|
| index d8c2089c10719ecc97208ffefee07ea39541615e..b5e1498cc57d08e932cd60d437280db14220dc03 100644
|
| --- a/content/renderer/render_view_impl.h
|
| +++ b/content/renderer/render_view_impl.h
|
| @@ -94,12 +94,6 @@ class PluginInstance;
|
|
|
| } // namespace webkit
|
|
|
| -#if defined(OS_ANDROID)
|
| -namespace webkit_media {
|
| -class WebMediaPlayerManagerAndroid;
|
| -}
|
| -#endif
|
| -
|
| namespace WebKit {
|
| class WebApplicationCacheHost;
|
| class WebApplicationCacheHostClient;
|
| @@ -174,6 +168,7 @@ struct FileChooserParams;
|
| struct RenderViewImplParams;
|
|
|
| #if defined(OS_ANDROID)
|
| +class WebMediaPlayerManagerAndroid;
|
| class WebMediaPlayerProxyImplAndroid;
|
| #endif
|
|
|
| @@ -259,7 +254,7 @@ class CONTENT_EXPORT RenderViewImpl
|
| }
|
|
|
| #if defined(OS_ANDROID)
|
| - webkit_media::WebMediaPlayerManagerAndroid* media_player_manager() {
|
| + WebMediaPlayerManagerAndroid* media_player_manager() {
|
| return media_player_manager_.get();
|
| }
|
| #endif
|
| @@ -1459,7 +1454,7 @@ class CONTENT_EXPORT RenderViewImpl
|
| WebMediaPlayerProxyImplAndroid* media_player_proxy_;
|
|
|
| // The media player manager for managing all the media players on this view.
|
| - scoped_ptr<webkit_media::WebMediaPlayerManagerAndroid> media_player_manager_;
|
| + scoped_ptr<WebMediaPlayerManagerAndroid> media_player_manager_;
|
|
|
| // A date/time picker object for date and time related input elements.
|
| scoped_ptr<RendererDateTimePicker> date_time_picker_client_;
|
|
|