Index: chrome/browser/task_manager/task_manager_worker_resource_provider.h |
diff --git a/chrome/browser/task_manager/task_manager_worker_resource_provider.h b/chrome/browser/task_manager/task_manager_worker_resource_provider.h |
index 990e3668be185f7c37910ba9c689e12a98e3ed7c..0e7d5f4670e0f2867a538f2894ed61b79d8c9893 100644 |
--- a/chrome/browser/task_manager/task_manager_worker_resource_provider.h |
+++ b/chrome/browser/task_manager/task_manager_worker_resource_provider.h |
@@ -35,9 +35,9 @@ class TaskManagerWorkerResourceProvider |
// TaskManager::ResourceProvider implementation. |
virtual TaskManager::Resource* GetResource(int origin_pid, |
int render_process_host_id, |
- int routing_id); |
- virtual void StartUpdating(); |
- virtual void StopUpdating(); |
+ int routing_id) OVERRIDE; |
+ virtual void StartUpdating() OVERRIDE; |
+ virtual void StopUpdating() OVERRIDE; |
// WorkerServiceObserver implementation. |
virtual void WorkerCreated( |
@@ -51,7 +51,7 @@ class TaskManagerWorkerResourceProvider |
// content::NotificationObserver implementation. |
virtual void Observe(int type, |
const content::NotificationSource& source, |
- const content::NotificationDetails& details); |
+ const content::NotificationDetails& details) OVERRIDE; |
void NotifyWorkerCreated(WorkerResourceHolder* resource_holder); |
void NotifyWorkerDestroyed(int process_id, int routing_id); |