| 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 2ab07e0486126043cc466ca0292d9cd40284895e..398261d8050064351961621bbb08c804255e1de3 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -346,7 +346,7 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement,
|
| void defaultEventHandler(Event*) final;
|
|
|
| // ActiveDOMObject functions.
|
| - void stop() final;
|
| + void contextDestroyed() final;
|
|
|
| virtual void updateDisplayState() {}
|
|
|
|
|