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