| Index: third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackClient.h
|
| diff --git a/third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackClient.h b/third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackClient.h
|
| index 6131d9eb2a93b6c9c915efd8757b43d3a9805d9d..7e66857dcbfb28059b95c55c855f2498cc72f30f 100644
|
| --- a/third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackClient.h
|
| +++ b/third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackClient.h
|
| @@ -7,6 +7,7 @@
|
|
|
| namespace blink {
|
|
|
| +enum class WebRemotePlaybackAvailability;
|
| enum class WebRemotePlaybackState;
|
|
|
| // The interface between the HTMLMediaElement and its
|
| @@ -19,10 +20,13 @@ class WebRemotePlaybackClient {
|
| virtual void stateChanged(WebRemotePlaybackState) = 0;
|
|
|
| // Notifies the client of the remote playback device availability change.
|
| - virtual void availabilityChanged(bool availability) = 0;
|
| + virtual void availabilityChanged(WebRemotePlaybackAvailability) = 0;
|
|
|
| // Notifies the client that the user cancelled the prompt shown via the API.
|
| virtual void promptCancelled() = 0;
|
| +
|
| + // Returns if the remote playback available for this media element.
|
| + virtual bool remotePlaybackAvailable() const = 0;
|
| };
|
|
|
| } // namespace blink
|
|
|