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..ebf09549c0458a8d90fb3e897aa214f0065f0b35 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) |
Dan Beam
2015/08/28 00:20:22
indent off
stevenjb
2015/08/28 23:18:07
Done.
|
+ * }} |
+ */ |
+var CrSettingsPrefs; |
+ |
if (CrSettingsPrefs === undefined) { |
- var CrSettingsPrefs = {}; |
+ CrSettingsPrefs = {}; |
/** |
* The type of the event fired when prefs have been fetched and initialized. |