Index: chrome/browser/extensions/extension_devtools_manager.cc |
=================================================================== |
--- chrome/browser/extensions/extension_devtools_manager.cc (revision 67673) |
+++ chrome/browser/extensions/extension_devtools_manager.cc (working copy) |
@@ -6,6 +6,7 @@ |
#include "base/message_loop.h" |
#include "base/string_util.h" |
+#include "base/task.h" |
#include "chrome/browser/extensions/extension_devtools_bridge.h" |
#include "chrome/browser/extensions/extension_devtools_events.h" |
@@ -68,3 +69,4 @@ |
} |
tab_id_to_render_process_ids_.erase(tab_id); |
} |
+ |