Index: third_party/WebKit/Source/modules/mediasource/MediaSource.h |
diff --git a/third_party/WebKit/Source/modules/mediasource/MediaSource.h b/third_party/WebKit/Source/modules/mediasource/MediaSource.h |
index eaa3bc6db058db2612b037c27b6c8ee15992ea88..5083344b7747e769369e1591d5da5df068276aa5 100644 |
--- a/third_party/WebKit/Source/modules/mediasource/MediaSource.h |
+++ b/third_party/WebKit/Source/modules/mediasource/MediaSource.h |
@@ -108,7 +108,7 @@ class MediaSource final : public EventTargetWithInlineData, |
bool hasPendingActivity() const final; |
// ActiveDOMObject interface |
- void stop() override; |
+ void contextDestroyed() override; |
// URLRegistrable interface |
URLRegistry& registry() const override; |