Index: third_party/WebKit/Source/devtools/front_end/externs.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js |
index eba7edbfb85290b3e4653c540178edc13160b493..eb14878d5bf936019e34e2a2af54da9504cc6489 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/externs.js |
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js |
@@ -828,6 +828,7 @@ var Network = {}; |
var Persistence = {}; |
var Platform = {}; |
var Profiler = {}; |
+var Protocol = {}; |
var Resources = {}; |
var Sass = {}; |
var Screencast = {}; |