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 563d26bb06722690d391ac68946b168884d883a8..92249d89df1e34245a58891c6cbd75dc62236957 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -290,7 +290,7 @@ class CORE_EXPORT HTMLMediaElement |
void SourceWasAdded(HTMLSourceElement*); |
// ScriptWrappable functions. |
- bool HasPendingActivity() const final; |
+ bool HasPendingActivity() const override; |
AudioSourceProviderClient* AudioSourceNode() { return audio_source_node_; } |
void SetAudioSourceNode(AudioSourceProviderClient*); |