DevTools: Clean up character diff

third_party/WebKit/Source/devtools/front_end/diff/Diff.js

Index: third_party/WebKit/Source/devtools/front_end/diff/Diff.js
diff --git a/third_party/WebKit/Source/devtools/front_end/diff/Diff.js b/third_party/WebKit/Source/devtools/front_end/diff/Diff.js
index 91fafabd1cd214616d33afc8c2ef3ad0756a57a3..16ca6027c5fa17292eba4d016828c29d04ff8cbe 100644
--- a/third_party/WebKit/Source/devtools/front_end/diff/Diff.js
+++ b/third_party/WebKit/Source/devtools/front_end/diff/Diff.js
@@ -5,11 +5,15 @@ Diff.Diff = {
   /**
    * @param {string} text1
    * @param {string} text2
+   * @param {boolean=} cleanup
    * @return {!Array.<!{0: number, 1: string}>}
    */
-  charDiff: function(text1, text2) {
+  charDiff: function(text1, text2, cleanup) {
     var differ = new diff_match_patch();
-    return differ.diff_main(text1, text2);
+    var diff = differ.diff_main(text1, text2);
+    if (cleanup)
+      differ.diff_cleanupSemantic(diff);
+    return diff;
   },
 
   /**