fixes for issue #51 in devtools-docs

chrome/common/extensions/api/devtools/panels.json

Index: chrome/common/extensions/api/devtools/panels.json
diff --git a/chrome/common/extensions/api/devtools/panels.json b/chrome/common/extensions/api/devtools/panels.json
index 0fec13a830c5bde19010df6d97e892616b4e641d..fa02daaffbc60c4b8457ff74168d64ec9537396e 100644
--- a/chrome/common/extensions/api/devtools/panels.json
+++ b/chrome/common/extensions/api/devtools/panels.json
@@ -256,6 +256,10 @@
       "elements": {
         "$ref": "ElementsPanel",
         "description": "Elements panel."
+      },
+      "sources": {
+        "$ref": "SourcesPanel",
+        "description": "Sources panel."
       }
     },
     "functions": [
@@ -313,6 +317,29 @@
             ]
           }
         ]
+      },
+      {
+        "name": "openResource",
+        "type": "function",
+        "description": "Requests DevTools to open a URL in a Developer Tools panel.",
+        "parameters": [
+          {
+            "name": "url",
+            "type": "string",
+            "description": "The URL of the resource to open."
+          },
+          {
+            "name": "lineNumber",
+            "type": "integer",
+            "description": "Specifies the line number to scroll to when the resource is loaded."
+          },
+          {
+            "name": "callback",
+            "type": "function",
+            "optional": true,
+            "description": "A function that is called when the resource has been successfully loaded."
+          }
+        ]
       }
     ]
   }