Index: chrome/browser/devtools/devtools_window.cc |
diff --git a/chrome/browser/devtools/devtools_window.cc b/chrome/browser/devtools/devtools_window.cc |
index 9740c733ff4c80a449476b34fbecc2257e58cf59..254a004eaa9bb907df78ee1d1b8df63ff80e53df 100644 |
--- a/chrome/browser/devtools/devtools_window.cc |
+++ b/chrome/browser/devtools/devtools_window.cc |
@@ -65,6 +65,7 @@ |
#include "content/public/common/content_client.h" |
#include "content/public/common/page_transition_types.h" |
#include "content/public/common/url_constants.h" |
+#include "extensions/common/extension_set.h" |
#include "grit/generated_resources.h" |
#include "ui/base/l10n/l10n_util.h" |
@@ -1472,10 +1473,10 @@ void DevToolsWindow::AddDevToolsExtensionsToClient() { |
profile->GetOriginalProfile())->extension_service(); |
if (!extension_service) |
return; |
- const ExtensionSet* extensions = extension_service->extensions(); |
+ const extensions::ExtensionSet* extensions = extension_service->extensions(); |
ListValue results; |
- for (ExtensionSet::const_iterator extension(extensions->begin()); |
+ for (extensions::ExtensionSet::const_iterator extension(extensions->begin()); |
extension != extensions->end(); ++extension) { |
if (extensions::ManifestURL::GetDevToolsPage(extension->get()).is_empty()) |
continue; |