| 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. " +
|
|
|