| Index: chrome/browser/task_manager/web_contents_resource_provider.h
|
| diff --git a/chrome/browser/task_manager/web_contents_resource_provider.h b/chrome/browser/task_manager/web_contents_resource_provider.h
|
| index 6ad5b10ede5d7d9dbdcfc022fc110805fd3ee869..4d3d365f3d9707d8a85f6d089652c6178e44980a 100644
|
| --- a/chrome/browser/task_manager/web_contents_resource_provider.h
|
| +++ b/chrome/browser/task_manager/web_contents_resource_provider.h
|
| @@ -38,11 +38,11 @@ class WebContentsResourceProvider : public ResourceProvider {
|
| scoped_ptr<WebContentsInformation> info);
|
|
|
| // ResourceProvider implementation.
|
| - virtual RendererResource* GetResource(int origin_pid,
|
| - int child_id,
|
| - int route_id) override;
|
| - virtual void StartUpdating() override;
|
| - virtual void StopUpdating() override;
|
| + RendererResource* GetResource(int origin_pid,
|
| + int child_id,
|
| + int route_id) override;
|
| + void StartUpdating() override;
|
| + void StopUpdating() override;
|
|
|
| // Start observing |web_contents| for changes via WebContentsObserver, and
|
| // add it to the task manager.
|
| @@ -56,7 +56,7 @@ class WebContentsResourceProvider : public ResourceProvider {
|
| WebContentsInformation* info() { return info_.get(); }
|
|
|
| protected:
|
| - virtual ~WebContentsResourceProvider();
|
| + ~WebContentsResourceProvider() override;
|
|
|
| private:
|
| typedef std::map<content::WebContents*, TaskManagerWebContentsEntry*>
|
|
|