DevTools: Remove unused frontend code

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 135 matching lines @@
      * @param {string} content
      * @param {function(string, !WebInspector.FormatterSourceMapping)} callback
      */
     formatContent: function(mimeType, content, callback)
     {
         callback(content, new WebInspector.IdentityFormatterSourceMapping());
     }
 }
 
 /**
- * @constructor
+ * @typedef {{original: !Array.<number>, formatted: !Array.<number>}}
  */
-WebInspector.FormatterMappingPayload = function()
-{
-    this.original = [];
-    this.formatted = [];
-}
+WebInspector.FormatterMappingPayload;
 
 /**
  * @interface
  */
 WebInspector.FormatterSourceMapping = function()
 {
 }
 
 WebInspector.FormatterSourceMapping.prototype = {
     /**
@@ skipping 88 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;
     }
 }