DevTools: make disable javascript setting temporary

third_party/WebKit/Source/devtools/front_end/help/Help.js

 // Copyright 2017 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @return {!Help.ReleaseNote}
  */
 Help.latestReleaseNote = function() {
   if (!Help._latestReleaseNote) {
     /** @type {!Help.ReleaseNote} */
@@ skipping 17 matching lines @@
   console.error(`Unable to find release note for version ${originalVersion} - using last release note as fallback`);
   return /** @type {!Help.ReleaseNote} */ (Help.releaseNoteText.peekLast());
 };
 
 /**
  * @return {!Common.Setting}
  */
 Help.releaseNoteVersionSetting = function() {
   if (!Help._releaseNoteVersionSetting) {
     /** @type {!Common.Setting} */
-    Help._releaseNoteVersionSetting = Common.settings.createSetting('releaseNoteVersionSeen', 0, false);
+    Help._releaseNoteVersionSetting = Common.settings.createSetting('releaseNoteVersionSeen', 0);
   }
   return Help._releaseNoteVersionSetting;
 };
 
 Help.showReleaseNoteIfNeeded = function() {
   Help._showReleaseNoteIfNeeded(Help.releaseNoteVersionSetting().get(), Help.browserVersion());
 };
 
 /**
  * @param {number} lastSeenVersion
@@ skipping 36 matching lines @@
 Help.ReleaseNoteHighlightContent;
 
 /** @typedef {!{contents: !Array<!Help.ReleaseNoteHighlightContent>, featured: (boolean | undefined)}} */
 Help.ReleaseNoteHighlight;
 
 /**
  * @typedef {!{version: number, highlights: !Array<!Help.ReleaseNoteHighlight>,
  *    link: string, image: !Help.ReleaseNoteImage}}
  */
 Help.ReleaseNote;