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() {} |