| Index: content/renderer/media/android/webmediaplayer_android.h
|
| diff --git a/content/renderer/media/android/webmediaplayer_android.h b/content/renderer/media/android/webmediaplayer_android.h
|
| index c994b52dce49f85606ca49cb117807fa33f63c3e..c54f3372934cafaa9b89e74eda949af4e168f5a5 100644
|
| --- a/content/renderer/media/android/webmediaplayer_android.h
|
| +++ b/content/renderer/media/android/webmediaplayer_android.h
|
| @@ -309,6 +309,8 @@ class WebMediaPlayerAndroid : public blink::WebMediaPlayer,
|
| GrSurfaceOrigin origin,
|
| GrPixelConfig config);
|
|
|
| + bool IsHLSStream() const;
|
| +
|
| blink::WebFrame* const frame_;
|
|
|
| blink::WebMediaPlayerClient* const client_;
|
|
|