| 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 2ab07e0486126043cc466ca0292d9cd40284895e..08ae176c517413615121f6813b7d00bde52a5733 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*);
|
|
|