| Index: chrome/browser/task_manager/providers/web_contents/devtools_tag.h
|
| diff --git a/chrome/browser/task_manager/providers/web_contents/devtools_tag.h b/chrome/browser/task_manager/providers/web_contents/devtools_tag.h
|
| index 4f0dd119ef8d3a49585d0c35de10057f6653e96d..580a4196815555613aebfc2c7d8624adc8938fca 100644
|
| --- a/chrome/browser/task_manager/providers/web_contents/devtools_tag.h
|
| +++ b/chrome/browser/task_manager/providers/web_contents/devtools_tag.h
|
| @@ -14,6 +14,8 @@ namespace task_manager {
|
| // Defines a concrete UserData type for WebContents owned by DevToolsWindow.
|
| class DevToolsTag : public WebContentsTag {
|
| public:
|
| + ~DevToolsTag() override;
|
| +
|
| // task_manager::WebContentsTag:
|
| DevToolsTask* CreateTask() const override;
|
|
|
| @@ -21,7 +23,6 @@ class DevToolsTag : public WebContentsTag {
|
| friend class WebContentsTags;
|
|
|
| explicit DevToolsTag(content::WebContents* web_contents);
|
| - ~DevToolsTag() override;
|
|
|
| DISALLOW_COPY_AND_ASSIGN(DevToolsTag);
|
| };
|
|
|