| Index: content/renderer/media/android/webmediaplayer_android.cc
|
| diff --git a/content/renderer/media/android/webmediaplayer_android.cc b/content/renderer/media/android/webmediaplayer_android.cc
|
| index 5fae87902cad03dfbe1b2d585b987f1a36ccf7f7..2cf51cdb613f7e152acfbefb350c6a9af54b47f0 100644
|
| --- a/content/renderer/media/android/webmediaplayer_android.cc
|
| +++ b/content/renderer/media/android/webmediaplayer_android.cc
|
| @@ -36,6 +36,7 @@
|
| #include "net/base/mime_util.h"
|
| #include "third_party/WebKit/public/platform/WebMediaPlayerClient.h"
|
| #include "third_party/WebKit/public/platform/WebString.h"
|
| +#include "third_party/WebKit/public/platform/WebURL.h"
|
| #include "third_party/WebKit/public/web/WebDocument.h"
|
| #include "third_party/WebKit/public/web/WebFrame.h"
|
| #include "third_party/WebKit/public/web/WebRuntimeFeatures.h"
|
| @@ -1057,6 +1058,10 @@ void WebMediaPlayerAndroid::SetNeedsEstablishPeer(bool needs_establish_peer) {
|
| needs_establish_peer_ = needs_establish_peer;
|
| }
|
|
|
| +void WebMediaPlayerAndroid::setPoster(const blink::WebURL& poster) {
|
| + manager_->SetPoster(player_id_, poster);
|
| +}
|
| +
|
| void WebMediaPlayerAndroid::UpdatePlayingState(bool is_playing) {
|
| is_playing_ = is_playing;
|
| if (!delegate_)
|
|
|