| Index: chrome/browser/dom_ui/options/options_managed_banner_handler.h
|
| diff --git a/chrome/browser/dom_ui/options/options_managed_banner_handler.h b/chrome/browser/dom_ui/options/options_managed_banner_handler.h
|
| index b03bed29d7b4d3a6cac47457e1aa2d2ac4e5dea4..6c634841d7b7a66ee5d6f8b67108f9c547d8ba7d 100644
|
| --- a/chrome/browser/dom_ui/options/options_managed_banner_handler.h
|
| +++ b/chrome/browser/dom_ui/options/options_managed_banner_handler.h
|
| @@ -6,6 +6,7 @@
|
| #define CHROME_BROWSER_DOM_UI_OPTIONS_OPTIONS_MANAGED_BANNER_HANDLER_H_
|
| #pragma once
|
|
|
| +#include "base/string16.h"
|
| #include "chrome/browser/policy/managed_prefs_banner_base.h"
|
| #include "chrome/browser/options_window.h"
|
|
|
| @@ -18,7 +19,7 @@ class OptionsManagedBannerHandler : public policy::ManagedPrefsBannerBase {
|
| public:
|
| OptionsManagedBannerHandler(DOMUI* dom_ui, const string16& page_name,
|
| OptionsPage page);
|
| - virtual ~OptionsManagedBannerHandler() { }
|
| + virtual ~OptionsManagedBannerHandler();
|
|
|
| protected:
|
| // ManagedPrefsBannerBase implementation.
|
|
|