| 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)
|
|
|
|
|