| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| index 398261d8050064351961621bbb08c804255e1de3..90cd7259091558c468c739084397c1755f04e0a6 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -383,6 +383,7 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement,
|
| void connectedToRemoteDevice() final;
|
| void disconnectedFromRemoteDevice() final;
|
| void cancelledRemotePlaybackRequest() final;
|
| + bool isAutoplayingMuted() final;
|
| void requestReload(const WebURL&) final;
|
|
|
| void loadTimerFired(TimerBase*);
|
|
|