| 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.
|
|
|