Index: chrome/browser/ui/webui/extensions/extension_settings_handler.h |
diff --git a/chrome/browser/ui/webui/extensions/extension_settings_handler.h b/chrome/browser/ui/webui/extensions/extension_settings_handler.h |
index c773b3e67fb8870f0b1dc660ee62850248802dfa..a79c4f58504ca2d823f1e819346fc24e1ecc91f2 100644 |
--- a/chrome/browser/ui/webui/extensions/extension_settings_handler.h |
+++ b/chrome/browser/ui/webui/extensions/extension_settings_handler.h |
@@ -270,6 +270,10 @@ class ExtensionSettingsHandler |
// An observer to listen for when Extension errors are reported. |
ScopedObserver<ErrorConsole, ErrorConsole::Observer> error_console_observer_; |
+ // Whether we found any DISABLE_NOT_VERIFIED extensions and want to kick off |
+ // a verification check to try and rescue them. |
+ bool should_do_verification_check_; |
+ |
DISALLOW_COPY_AND_ASSIGN(ExtensionSettingsHandler); |
}; |