DevTools: rename script_formatter_worker into formatter_worker

third_party/WebKit/Source/devtools/front_end/sources/ScriptFormatter.js

 /*
  * Copyright (C) 2011 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 71 matching lines @@
  * @param {string} mimeType
  * @param {string} content
  * @param {function(string, !WebInspector.FormatterSourceMapping)} callback
  */
 WebInspector.ScriptFormatter = function(mimeType, content, callback)
 {
     content = content.replace(/\r\n?|[\n\u2028\u2029]/g, "\n").replace(/^\uFEFF/, '');
     this._callback = callback;
     this._originalContent = content;
 
-    this._worker = new WorkerRuntime.Worker("script_formatter_worker");
+    this._worker = new WorkerRuntime.Worker("formatter_worker");
     this._worker.onmessage = this._didFormatContent.bind(this);
 
     var parameters = {
         mimeType: mimeType,
         content: content,
         indentString: WebInspector.moduleSetting("textEditorIndent").get()
     };
     this._worker.postMessage({ method: "format", params: parameters });
 }
 
@@ skipping 133 matching lines @@
      */
     _convertPosition: function(positions1, positions2, position)
     {
         var index = positions1.upperBound(position) - 1;
         var convertedPosition = positions2[index] + position - positions1[index];
         if (index < positions2.length - 1 && convertedPosition > positions2[index + 1])
             convertedPosition = positions2[index + 1];
         return convertedPosition;
     }
 }