| Index: third_party/WebKit/public/platform/WebMediaPlayer.h
|
| diff --git a/third_party/WebKit/public/platform/WebMediaPlayer.h b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| index 23bb865aacad04ea587d54bce704efa9552ccfea..41d408d94fbf8c4dc387c70e72b4a8a6bb40bfc0 100644
|
| --- a/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| +++ b/third_party/WebKit/public/platform/WebMediaPlayer.h
|
| @@ -200,6 +200,10 @@ public:
|
| virtual void enabledAudioTracksChanged(const WebVector<TrackId>& enabledTrackIds) { }
|
| // |selectedTrackId| is null if no track is selected.
|
| virtual void selectedVideoTrackChanged(TrackId* selectedTrackId) { }
|
| +
|
| + // Non-empty if loading has failed and the WebMediaPlayer has found a better
|
| + // URL that must be reloaded through the Blink loading process.
|
| + virtual WebURL alternativeSourceURL() const { return WebURL(); }
|
| };
|
|
|
| } // namespace blink
|
|
|