| Index: third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLVideoElement.h b/third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| index 6c9a1f559ccf3e90657b0d2237bdb4f307d6b5ce..37f5f32546c36f290482c5dd5c42c6f798a63664 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLVideoElement.h
|
| @@ -54,6 +54,8 @@ class CORE_EXPORT HTMLVideoElement final : public HTMLMediaElement,
|
| static HTMLVideoElement* Create(Document&);
|
| DECLARE_VIRTUAL_TRACE();
|
|
|
| + bool HasPendingActivity() const final;
|
| +
|
| enum class MediaRemotingStatus { kNotStarted, kStarted, kDisabled };
|
|
|
| // Node override.
|
|
|