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; |