| 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 6c822c45fb3ecc7bdeb92908c395959d5f15d547..ffa709e9e1da1367edc3b560e8eb50768daf0ed5 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/common/Settings.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/common/Settings.js
|
| @@ -710,12 +710,7 @@ Common.VersionController = class {
|
| }
|
|
|
| _updateVersionFrom22To23() {
|
| - var oldSetting = Common.settings.createSetting('consoleTimestampsEnabled', false);
|
| - var newSetting = Common.settings.createSetting('consoleTimestampFormat', 'none');
|
| - var oldValue = oldSetting.get();
|
| - if (oldValue)
|
| - newSetting.set('short');
|
| - oldSetting.remove();
|
| + // This update is no-op.
|
| }
|
|
|
| _migrateSettingsFromLocalStorage() {
|
|
|