Rename ignore_cache and ignoreCache to bypass* unless it affects API

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

Index: third_party/WebKit/Source/devtools/front_end/externs.js
diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js
index 8933a5f1c2aafe3899ade9865e3cc3ed3fc72846..9899dd1fa59443f5b8d77a63f1041916d056368b 100644
--- a/third_party/WebKit/Source/devtools/front_end/externs.js
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js
@@ -295,6 +295,8 @@ function ExtensionDescriptor() {
  * @constructor
  */
 function ExtensionReloadOptions() {
+    // TODO(toyoshim): Check if this ignoreCache shouldn't be changed for
+    // DevTools protocol. Also, how this prototype is used actually?

[Takashi Toyoshima, 2016/04/06 09:36:23]

I can not find any caller that uses this function to instantiate new
ExtensionReloadOptions.
But this file is externs.js, so I guess this is exposed to external users in
some way?

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

This is for type checking. It's mentioned in ExtensionServer.js, and we check
that fields accessed are as defined here. Should be left as is.

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

Thanks!

     this.ignoreCache = false;
     this.injectedScript = "";
     this.userAgent = "";