Index: Source/devtools/front_end/extensions/ExtensionAPI.js |
diff --git a/Source/devtools/front_end/extensions/ExtensionAPI.js b/Source/devtools/front_end/extensions/ExtensionAPI.js |
index 9f8962cf9bc8e2d1f73638589e556646f9b5b0d5..5bbfbb19e476c1cb7fa3c706eea7cf4128c6c5c1 100644 |
--- a/Source/devtools/front_end/extensions/ExtensionAPI.js |
+++ b/Source/devtools/front_end/extensions/ExtensionAPI.js |
@@ -716,8 +716,6 @@ InspectedWindow.prototype = { |
var options = null; |
if (typeof optionsOrUserAgent === "object") { |
options = optionsOrUserAgent; |
- if (options.preprocessingScript) |
- console.warn("Please avoid using 'preprocessingScript' option to chrome.devtools.inspectedWindow.reload(), support for it will be removed soon."); |
} else if (typeof optionsOrUserAgent === "string") { |
options = { userAgent: optionsOrUserAgent }; |
console.warn("Passing userAgent as string parameter to inspectedWindow.reload() is deprecated. " + |