Index: Source/devtools/front_end/main/Main.js |
diff --git a/Source/devtools/front_end/main/Main.js b/Source/devtools/front_end/main/Main.js |
index b423b6469ab366befe86c9b472970121a935194d..34dac490acb373822e526313aed333ebbcd435ef 100644 |
--- a/Source/devtools/front_end/main/Main.js |
+++ b/Source/devtools/front_end/main/Main.js |
@@ -821,6 +821,10 @@ WebInspector.__defineGetter__("inspectedPageURL", function() |
return WebInspector.resourceTreeModel.inspectedPageURL(); |
}); |
+/** |
+ * @param {string} name |
+ * @return {?WebInspector.Panel} |
+ */ |
WebInspector.panel = function(name) |
{ |
return WebInspector.inspectorView.panel(name); |