| Index: chrome/browser/ui/webui/workers_ui.cc
|
| diff --git a/chrome/browser/ui/webui/workers_ui.cc b/chrome/browser/ui/webui/workers_ui.cc
|
| index f78d3c90cd4520ce1a5ca7587f31fc6bed9f8f9a..48f5683ad885fbc393d9626ee3ae5590d78a59e1 100644
|
| --- a/chrome/browser/ui/webui/workers_ui.cc
|
| +++ b/chrome/browser/ui/webui/workers_ui.cc
|
| @@ -140,7 +140,7 @@ void WorkersDOMHandler::HandleOpenDevTools(const ListValue* args) {
|
| if (WorkerDevToolsManagerIO::HasDevToolsClient(worker_process_host_id,
|
| worker_route_id))
|
| return;
|
| - Profile* profile = web_ui_->GetProfile();
|
| + Profile* profile = Profile::FromWebUI(web_ui_);
|
| if (!profile)
|
| return;
|
| DevToolsWindow* window = DevToolsWindow::CreateDevToolsWindowForWorker(
|
|
|