| 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();
|
|
|
|
|