Add support for high DPI favicons on the "other devices" menu.

chrome/browser/resources/shared/js/util.js

 // Copyright (c) 2012 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.
 
 /**
  * The global object.
  * @type {!Object}
  * @const
  */
 var global = this;
@@ skipping 213 matching lines @@
 
   if (url.indexOf('?') == -1)
     return url + '?' + param;
   return url + '&' + param;
 }
 
 /**
  * Creates a new URL for a favicon request.
  * @param {string} url The url for the favicon.
  * @param {number=} opt_size Optional preferred size of the favicon.
+ * @param {boolean=} opt_sessionFavicon Optional flag to indicate if
+ *     requesting a session favicon.
  * @return {string} Updated URL for the favicon.
  */
-function getFaviconUrl(url, opt_size) {
+function getFaviconUrl(url, opt_size, opt_sessionFavicon) {
   var size = opt_size || 16;
-  return 'chrome://favicon/size/' + size + '@' +
+  var type = opt_sessionFavicon ? 'session-favicon' : 'favicon';
+  return 'chrome://' + type + '/size/' + size + '@' +
       window.devicePixelRatio + 'x/' + url;
 }
 
 /**
  * Creates an element of a specified type with a specified class name.
  * @param {string} type The node type.
  * @param {string} className The class name to use.
  * @return {Element} The created element.
  */
 function createElementWithClassName(type, className) {
   var elm = document.createElement(type);
   elm.className = className;
   return elm;
 }