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() { |