| Index: third_party/WebKit/Source/devtools/front_end/common/Settings.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/common/Settings.js b/third_party/WebKit/Source/devtools/front_end/common/Settings.js
|
| index 0c5f8d87a4aaacc4f917107aaf4aacd25450ef01..28a3087c506159d76e561d84285be495deca29bf 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/common/Settings.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/common/Settings.js
|
| @@ -731,6 +731,13 @@ Common.VersionController = class {
|
| // This update is no-op.
|
| }
|
|
|
| + _updateVersionFrom23To24() {
|
| + var oldSetting = Common.settings.createSetting('searchInContentScripts', false);
|
| + var newSetting = Common.settings.createSetting('searchInAnonymousAndContentScripts', false);
|
| + newSetting.set(oldSetting.get());
|
| + oldSetting.remove();
|
| + }
|
| +
|
| _migrateSettingsFromLocalStorage() {
|
| // This step migrates all the settings except for the ones below into the browser profile.
|
| var localSettings = new Set([
|
| @@ -763,7 +770,7 @@ Common.VersionController = class {
|
| };
|
|
|
| Common.VersionController._currentVersionName = 'inspectorVersion';
|
| -Common.VersionController.currentVersion = 23;
|
| +Common.VersionController.currentVersion = 24;
|
|
|
| /**
|
| * @type {!Common.Settings}
|
|
|