Rename ignore_cache and ignoreCache to bypass* unless it affects API

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

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 411 matching lines @@
     },
 
     _onReload: function(message)
     {
         var options = /** @type {!ExtensionReloadOptions} */ (message.options || {});
 
         WebInspector.multitargetNetworkManager.setUserAgentOverride(typeof options.userAgent === "string" ? options.userAgent : "");
         var injectedScript;
         if (options.injectedScript)
             injectedScript = "(function(){" + options.injectedScript + "})()";
+        // TODO(toyoshim): Check if this ignoreCache shouldn't be changed for

[dgozman, 2016/04/06 15:44:19]

This is a public API.

[Takashi Toyoshima, 2016/04/08 04:50:55]

Acknowledged.

+        // DevTools protocol.
         WebInspector.targetManager.reloadPage(!!options.ignoreCache, injectedScript);
         return this._status.OK();
     },
 
     _onEvaluateOnInspectedPage: function(message, port)
     {
         /**
          * @param {?Protocol.Error} error
          * @param {?WebInspector.RemoteObject} remoteObject
          * @param {boolean=} wasThrown
@@ skipping 638 matching lines @@
 
 /**
  * @typedef {{code: string, description: string, details: !Array.<*>}}
  */
 WebInspector.ExtensionStatus.Record;
 
 WebInspector.extensionAPI = {};
 defineCommonExtensionSymbols(WebInspector.extensionAPI);
 
 /** @type {!WebInspector.ExtensionServer} */
-WebInspector.extensionServer;
+WebInspector.extensionServer;