gwt getInnerText -> javascript innerText or textContent

src/com/dom_distiller/client/ContentExtractor.java

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 package com.dom_distiller.client;
 
 import com.google.gwt.dom.client.AnchorElement;
 import com.google.gwt.dom.client.Document;
 import com.google.gwt.dom.client.Element;
 import com.google.gwt.dom.client.Node;
@@ skipping 124 matching lines @@
                     stripIds(node.getChild(i));
                 }
         }
     }
 
     private static String getTextFromTree(Node node) {
         stripIds(node);
 
         // Temporarily add the node to the DOM so that style is calculated.
         Document.get().getBody().appendChild(node);
-        String output = javascriptInnerText(node);
+        String output = DomUtil.getInnerText(node);
 
         // And remove it again.
         Document.get().getBody().removeChild(node);
         return output;
     }
 
-    /**
-     * Use jsni for direct access to javascript's inner text. This avoid's GWT's implementation
-     * which is intentionally different to mimic an old IE behaviour.
-     */
-    private static native String javascriptInnerText(Node node) /*-{
-        return node.innerText;
-    }-*/;
-
     private static List<Node> getContentNodesForTextDocument(TextDocument document) {
         List<Node> contentTextNodes = new ArrayList<Node>();
         for (TextBlock tb : document.getTextBlocks()) {
             if (!tb.isContent()) {
                 continue;
             }
             if (!tb.hasLabel(DefaultLabels.TITLE)) {
                 contentTextNodes.addAll(tb.getAllTextElements());
             }
         }
@@ skipping 32 matching lines @@
             return;
         }
         var elementsWithSrc = root.querySelectorAll('img,source,track,video');
         for (var key in elementsWithSrc) {
             if (elementsWithSrc[key].src) {
                 elementsWithSrc[key].src = elementsWithSrc[key].src;
             }
         }
     }-*/;
 }