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 f7cdfa34e192e2b80b49747341ff18ff79b0f5e3..120181bbe0d49604a842cd87e4a9a66727d0375b 100644 |
--- a/third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackClient.h |
+++ b/third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackClient.h |
@@ -9,6 +9,7 @@ namespace blink { |
enum class WebRemotePlaybackAvailability; |
enum class WebRemotePlaybackState; |
+class WebURL; |
// The interface between the HTMLMediaElement and its |
// HTMLMediaElementRemotePlayback supplement. |
@@ -27,6 +28,9 @@ class WebRemotePlaybackClient { |
// Returns if the remote playback available for this media element. |
virtual bool RemotePlaybackAvailable() const = 0; |
+ |
+ // Notifies the client that the source of the HTMLMediaElement has changed. |
+ virtual void SourceChanged(const WebURL&) = 0; |
mark a. foltz
2017/05/31 21:16:41
What if the media element has multiple <source>s?
|
}; |
} // namespace blink |