| Index: public/platform/WebMediaPlayerClient.h
|
| diff --git a/public/platform/WebMediaPlayerClient.h b/public/platform/WebMediaPlayerClient.h
|
| index 015e70d3847649d8d6d3a4724be6be9bf344b2c3..48043d37ad2c4c7fe82914c1829a4c771fef9e09 100644
|
| --- a/public/platform/WebMediaPlayerClient.h
|
| +++ b/public/platform/WebMediaPlayerClient.h
|
| @@ -94,6 +94,9 @@ public:
|
| virtual void mediaSourceOpened(WebMediaSource*) = 0;
|
| virtual void requestFullscreen() = 0;
|
| virtual void requestSeek(double) = 0;
|
| + virtual void remoteRouteAvailabilityChanged(bool) = 0;
|
| + virtual void connectedToRemoteDevice() = 0;
|
| + virtual void disconnectedFromRemoteDevice() = 0;
|
|
|
| protected:
|
| ~WebMediaPlayerClient() { }
|
|
|