Index: chrome/browser/resources/settings/prefs/prefs_types.js |
diff --git a/chrome/browser/resources/settings/prefs/prefs_types.js b/chrome/browser/resources/settings/prefs/prefs_types.js |
index d757fc03dcdc853035d62b222fcb25aa2c7c4b4f..c511d1d688c4460cb94696528a03a237e90a56d5 100644 |
--- a/chrome/browser/resources/settings/prefs/prefs_types.js |
+++ b/chrome/browser/resources/settings/prefs/prefs_types.js |
@@ -6,8 +6,16 @@ |
* @fileoverview Types for CrSettingsPrefsElement. |
*/ |
+/** |
+ * @typedef {{ |
+ * INITIALIZED: (string|undefined), |
+ * isInitialized: (boolean|undefined) |
+ * }} |
+ */ |
+var CrSettingsPrefs; |
+ |
if (CrSettingsPrefs === undefined) { |
- var CrSettingsPrefs = {}; |
+ CrSettingsPrefs = {}; |
/** |
* The type of the event fired when prefs have been fetched and initialized. |