| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| index 2e9e9e90d395bcfd3bc8422148e6fc12d3cd2270..363bea977d7787a7995c790328f8cfa42d7b00af 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| @@ -3376,7 +3376,7 @@ void HTMLMediaElement::clearMediaPlayer() {
|
| layoutObject()->setShouldDoFullPaintInvalidation();
|
| }
|
|
|
| -void HTMLMediaElement::contextDestroyed() {
|
| +void HTMLMediaElement::contextDestroyed(ExecutionContext*) {
|
| BLINK_MEDIA_LOG << "contextDestroyed(" << (void*)this << ")";
|
|
|
| // Close the async event queue so that no events are enqueued.
|
|
|