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

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

Index: chrome/browser/resources/shared/js/util.js
diff --git a/chrome/browser/resources/shared/js/util.js b/chrome/browser/resources/shared/js/util.js
index 29cdd96b442971e52461f4b4c869138e24396ba5..1377f40c4ff2a4f5bc90832f9e6182a6104189dd 100644
--- a/chrome/browser/resources/shared/js/util.js
+++ b/chrome/browser/resources/shared/js/util.js
@@ -231,11 +231,14 @@ function appendParam(url, key, value) {
  * 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;
 }