| 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 d3ade6de3262ab73fff592ab5b55f06b5ef498f6..877e2abd37933af852c3ad9944ae961494660a14 100644
|
| --- a/chrome/browser/ui/webui/workers_ui.cc
|
| +++ b/chrome/browser/ui/webui/workers_ui.cc
|
| @@ -28,6 +28,8 @@
|
| #include "grit/workers_resources.h"
|
| #include "ui/base/resource/resource_bundle.h"
|
|
|
| +using content::BrowserThread;
|
| +
|
| static const char kWorkersDataFile[] = "workers_data.json";
|
|
|
| static const char kOpenDevToolsCommand[] = "openDevTools";
|
|
|