| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 25dd09c6085c434c0b6460093bf9aa99e0e48f0a..3eab4aa06e72fc298204b2297628adaa4355d29f 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -421,6 +421,13 @@
|
| 'front_end/resources/ResourcesPanel.js',
|
| ],
|
| 'devtools_script_formatter_worker_js_files': [
|
| + 'front_end/cm/css.js',
|
| + 'front_end/cm/headlesscodemirror.js',
|
| + 'front_end/cm/htmlmixed.js',
|
| + 'front_end/cm/javascript.js',
|
| + 'front_end/cm/xml.js',
|
| + 'front_end/common/WebInspector.js',
|
| + 'front_end/common/utilities.js',
|
| 'front_end/common/utilities.js',
|
| 'front_end/script_formatter_worker/CSSFormatter.js',
|
| 'front_end/script_formatter_worker/JavaScriptFormatter.js',
|
|
|