Index: third_party/WebKit/Source/core/html/PublicURLManager.h |
diff --git a/third_party/WebKit/Source/core/html/PublicURLManager.h b/third_party/WebKit/Source/core/html/PublicURLManager.h |
index c5e7ea278a9caada47d3126cf672476631e6ced1..be663c6ca83ecd044135b3ae9a955fd6f3299c7e 100644 |
--- a/third_party/WebKit/Source/core/html/PublicURLManager.h |
+++ b/third_party/WebKit/Source/core/html/PublicURLManager.h |
@@ -61,7 +61,7 @@ class PublicURLManager final |
void revoke(const String& uuid); |
// ActiveDOMObject interface. |
- void stop() override; |
+ void contextDestroyed() override; |
DECLARE_VIRTUAL_TRACE(); |