DevTools: Clean up character diff

third_party/WebKit/Source/devtools/front_end/externs.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 339 matching lines @@
  */
 function diff_match_patch() {
 }
 
 diff_match_patch.prototype = {
   /**
    * @param {string} text1
    * @param {string} text2
    * @return {!Array.<!{0: number, 1: string}>}
    */
-  diff_main: function(text1, text2) {}
+  diff_main: function(text1, text2) {},
+
+  /**
+   * @param {!Array.<!{0: number, 1: string}>} diff
+   */
+  diff_cleanupSemantic(diff) {}
 };
 
 /** @constructor */
 var Doc = function() {};
 Doc.prototype = {
   /** @type {number} */
   scrollLeft: 0,
   /** @type {number} */
   scrollTop: 0
 };
@@ skipping 411 matching lines @@
 var Terminal = function(params) {};
 
 Terminal.prototype = {
   fit: function() {},
   linkify: function() {},
   /** @param {!Element} element */
   open: function(element) {},
   /** @param {string} eventName * @param {!Function} handler */
   on: function(eventName, handler) {}
 };