| 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 bce174e6447dd2f90735d1c8a9e6159229a77016..f29eaca5d16ea54921a917212927021deaf71040 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -414,7 +414,7 @@ class CORE_EXPORT HTMLMediaElement
|
| void DisconnectedFromRemoteDevice() final;
|
| void CancelledRemotePlaybackRequest() final;
|
| void RemotePlaybackStarted() final;
|
| - void OnBecamePersistentVideo(bool) override{};
|
| + void OnBecamePersistentVideo(bool) override {}
|
| bool HasSelectedVideoTrack() final;
|
| WebMediaPlayer::TrackId GetSelectedVideoTrackId() final;
|
| bool IsAutoplayingMuted() final;
|
|
|