| Index: chrome/browser/ui/webui/devtools_ui.h
|
| diff --git a/chrome/browser/ui/webui/devtools_ui.h b/chrome/browser/ui/webui/devtools_ui.h
|
| index 209fe558530172dc28b458a7ecd9c09c682e7c46..39b0acde877807af1cf4a707e9ec8c224df9389e 100644
|
| --- a/chrome/browser/ui/webui/devtools_ui.h
|
| +++ b/chrome/browser/ui/webui/devtools_ui.h
|
| @@ -20,10 +20,10 @@ class DevToolsUI : public content::WebUIController,
|
| static GURL GetProxyURL(const std::string& frontend_url);
|
|
|
| explicit DevToolsUI(content::WebUI* web_ui);
|
| - virtual ~DevToolsUI();
|
| + ~DevToolsUI() override;
|
|
|
| // content::WebContentsObserver overrides.
|
| - virtual void NavigationEntryCommitted(
|
| + void NavigationEntryCommitted(
|
| const content::LoadCommittedDetails& load_details) override;
|
|
|
| private:
|
|
|