| 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 e1f1ceb313a0bfd4f502d27a844a40138af29d3e..03e91fcb7b307e94bee07aef1cccf78904b7e3a0 100755
|
| --- a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| +++ b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| @@ -76,9 +76,9 @@ v8_inspector_path = path.normpath(path.join(path.dirname(devtools_path), os.pard
|
| devtools_frontend_path = path.join(devtools_path, 'front_end')
|
| 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(v8_inspector_path, 'InjectedScriptSource.js')
|
| +injected_script_source_name = path.join(v8_inspector_path, 'injected-script-source.js')
|
| injected_script_externs_file = path.join(v8_inspector_path, 'injected_script_externs.js')
|
| -debugger_script_source_name = path.join(v8_inspector_path, 'DebuggerScript.js')
|
| +debugger_script_source_name = path.join(v8_inspector_path, 'debugger-script.js')
|
| debugger_script_externs_file = path.join(v8_inspector_path, 'debugger_script_externs.js')
|
|
|
| jsmodule_name_prefix = 'jsmodule_'
|
|
|