| 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 519ac378e045fc7049744655744566a879201263..76c894c33f9e8b8e4d77c1fa26b5661a85262c53 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -387,6 +387,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*);
|
|
|