Retain image sizes

java/org/chromium/distiller/DomUtil.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 org.chromium.distiller;
 
 import com.google.gwt.core.client.JsArray;
 import com.google.gwt.core.client.JsArrayString;
 import com.google.gwt.dom.client.AnchorElement;
 import com.google.gwt.dom.client.Document;
@@ skipping 303 matching lines @@
      * @param ie The image element to strip in-place.
      */
     public static void stripImageElement(ImageElement imgElement) {
         JsArray<Node> attrs = getAttributes(imgElement);
         for (int i = 0; i < attrs.length(); ) {
             String name = attrs.get(i).getNodeName();
             if (!"src".equals(name) &&
                 !"alt".equals(name) &&
                 !"srcset".equals(name) &&
                 !"dir".equals(name) &&
+                !"width".equals(name) &&
+                !"height".equals(name) &&
                 !"title".equals(name)) {
                 imgElement.removeAttribute(name);
             } else {
                 i++;
             }
         }
     }
 
     /**
      * Makes all "img", "source", "track", and "video" tags have an absolute "src" attribute.
@@ skipping 121 matching lines @@
     }-*/;
 
     public static native Document createHTMLDocument(Document doc) /*-{
         return doc.implementation.createHTMLDocument();
     }-*/;
 
     public static native Element getFirstElementChild(Document document) /*-{
         return document.firstElementChild;
     }-*/;
 }