DevTools: fix script_formatter_worker build procedure

Source/devtools/devtools.gypi

 #
 # Copyright (C) 2013 Google Inc. All rights reserved.
 #
 # Redistribution and use in source and binary forms, with or without
 # modification, are permitted provided that the following conditions are
 # met:
 #
 #         * Redistributions of source code must retain the above copyright
 # notice, this list of conditions and the following disclaimer.
 #         * Redistributions in binary form must reproduce the above
@@ skipping 403 matching lines @@
             'front_end/resources/DatabaseQueryView.js',
             'front_end/resources/DatabaseTableView.js',
             'front_end/resources/DirectoryContentView.js',
             'front_end/resources/DOMStorageItemsView.js',
             'front_end/resources/FileContentView.js',
             'front_end/resources/FileSystemView.js',
             'front_end/resources/IndexedDBViews.js',
             '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',
             'front_end/script_formatter_worker/ScriptFormatterWorker.js',
         ],
         'devtools_settings_js_files': [
             'front_end/settings/EditFileSystemDialog.js',
             'front_end/settings/FrameworkBlackboxDialog.js',
             'front_end/settings/SettingsScreen.js',
         ],
@@ skipping 177 matching lines @@
             'front_end/Images/thumbHoverHoriz.png',
             'front_end/Images/thumbHoverVert.png',
             'front_end/Images/thumbVert.png',
             'front_end/Images/toolbarItemSelected.png',
         ],
         'devtools_extension_api_files': [
             'front_end/extensions/ExtensionAPI.js',
         ],
     },
 }