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', |