Index: third_party/WebKit/Source/devtools/scripts/CodeGeneratorFrontend.py |
diff --git a/third_party/WebKit/Source/devtools/scripts/CodeGeneratorFrontend.py b/third_party/WebKit/Source/devtools/scripts/CodeGeneratorFrontend.py |
index a235f1e72e5456afd5a7e056b4431c8967b86d33..f2bbc3fb34f4cd8eed3f281a3f91017c828ba49b 100755 |
--- a/third_party/WebKit/Source/devtools/scripts/CodeGeneratorFrontend.py |
+++ b/third_party/WebKit/Source/devtools/scripts/CodeGeneratorFrontend.py |
@@ -186,6 +186,8 @@ class Generator: |
for json_domain in json_api["domains"]: |
domain_name = json_domain["domain"] |
domain_name_lower = domain_name.lower() |
+ if domain_name_lower == "console": |
+ continue |
Generator.backend_js_domain_initializer_list.append("// %s.\n" % domain_name) |