Index: Source/devtools/front_end/devtools.js |
diff --git a/Source/devtools/front_end/devtools.js b/Source/devtools/front_end/devtools.js |
index 52107f7d06440a1f4bd4f058c205754e6574b0ee..79432697cd39e67a6cd2b4801351d2e7299647ba 100644 |
--- a/Source/devtools/front_end/devtools.js |
+++ b/Source/devtools/front_end/devtools.js |
@@ -205,6 +205,14 @@ DevToolsAPIImpl.prototype = { |
}, |
/** |
+ * @param {boolean} hard |
+ */ |
+ reloadInspectedPage: function(hard) |
+ { |
+ this._dispatchOnInspectorFrontendAPI("reloadInspectedPage", [hard]); |
+ }, |
+ |
+ /** |
* @param {string} url |
* @param {number} lineNumber |
* @param {number} columnNumber |