| Index: third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| diff --git a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| index fab1a5ca2dee9dbfb6154e8fe028fbc88cdcff53..0727a38264f597c5d8cdb20a7dcd8ca42beb899e 100755
|
| --- a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| +++ b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| @@ -77,7 +77,7 @@ patched_es6_externs_file = to_platform_path(path.join(devtools_frontend_path, 'e
|
| global_externs_file = to_platform_path(path.join(devtools_frontend_path, 'externs.js'))
|
| protocol_externs_file = path.join(devtools_frontend_path, 'protocol_externs.js')
|
| injected_script_source_name = path.join(inspector_path, 'v8/InjectedScriptSource.js')
|
| -injected_script_externs_file = path.join(inspector_path, 'injected_script_externs.js')
|
| +injected_script_externs_file = path.join(inspector_path, 'v8/injected_script_externs.js')
|
|
|
| jsmodule_name_prefix = 'jsmodule_'
|
| runtime_module_name = '_runtime'
|
|
|