Merge to 2785 "[DevTools] Do not use "settings" query param."

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

 // Copyright 2014 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.
 
 /* eslint-disable indent */
 (function(window) {
 
 // DevToolsAPI ----------------------------------------------------------------
 
 /**
@@ skipping 982 matching lines @@
         return;
     var params = queryParams.substring(1).split("&");
     for (var i = 0; i < params.length; ++i) {
         var pair = params[i].split("=");
         var name = pair.shift();
         var value = pair.join("=");
         if (name === "remoteFrontendUrl" && !remoteFrontendUrlRegexp.test(value))
             location.search = "";
         if (name === "remoteBase" && !remoteBaseRegexp.test(value))
             location.search = "";
+        if (name === "settings")
+            location.search = "";
     }
 }
 
 var staticKeyIdentifiers = new Map([
     [0x12, "Alt"],
     [0x11, "Control"],
     [0x10, "Shift"],
     [0x14, "CapsLock"],
     [0x5b, "Win"],
     [0x5c, "Win"],
@@ skipping 145 matching lines @@
 
 if (!DOMTokenList.prototype.__originalDOMTokenListToggle) {
     DOMTokenList.prototype.__originalDOMTokenListToggle = DOMTokenList.prototype.toggle;
     DOMTokenList.prototype.toggle = function(token, force)
     {
         if (arguments.length === 1)
             force = !this.contains(token);
         return this.__originalDOMTokenListToggle(token, !!force);
     }
 }