| 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..cb5125b68d58fcb1e78a491d750d667a59e94c60 100644
|
| --- a/chrome/browser/devtools/devtools_window.cc
|
| +++ b/chrome/browser/devtools/devtools_window.cc
|
| @@ -1472,10 +1472,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;
|
|
|