| Index: chrome/browser/ui/webui/extensions/extension_settings_handler.cc
|
| diff --git a/chrome/browser/ui/webui/extensions/extension_settings_handler.cc b/chrome/browser/ui/webui/extensions/extension_settings_handler.cc
|
| index 68160064d6f304a676f096285cc6ccf9368160e4..3ef1ffc3b3e620dd4c8dc927a3e4b0f997d1f6e6 100644
|
| --- a/chrome/browser/ui/webui/extensions/extension_settings_handler.cc
|
| +++ b/chrome/browser/ui/webui/extensions/extension_settings_handler.cc
|
| @@ -154,7 +154,8 @@ ExtensionSettingsHandler::ExtensionSettingsHandler()
|
| deleting_rph_id_(-1),
|
| registered_for_notifications_(false),
|
| warning_service_observer_(this),
|
| - error_console_observer_(this) {
|
| + error_console_observer_(this),
|
| + should_do_verification_check_(false) {
|
| }
|
|
|
| ExtensionSettingsHandler::~ExtensionSettingsHandler() {
|
|
|