| Index: third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| diff --git a/third_party/WebKit/public/platform/WebMediaPlayerClient.h b/third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| index 7c9890c63cbef0959c0b053e922b71ccb5739e5e..212da3f01eb58597be4b7938e923f0e15503b38b 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayerClient.h
|
| @@ -83,6 +83,9 @@ public:
|
| virtual void disconnectedFromRemoteDevice() = 0;
|
| virtual void cancelledRemotePlaybackRequest() = 0;
|
|
|
| + // Warning: This method will destruct the caller.
|
| + virtual void requestReload(const WebURL& newUrl) = 0;
|
| +
|
| protected:
|
| ~WebMediaPlayerClient() { }
|
| };
|
|
|