From 9e8e370f34572e96243900a352921c0e0994e69e Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Fri, 7 Jan 2011 17:36:53 -0500
Subject: [PATCH] Don't use window.makeURI in bookmarks.js.

---
 common/content/bookmarks.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/common/content/bookmarks.js b/common/content/bookmarks.js
index 23524e30..b2304211 100644
--- a/common/content/bookmarks.js
+++ b/common/content/bookmarks.js
@@ -311,7 +311,7 @@ var Bookmarks = Module("bookmarks", {
                     [, shortcutURL, charset] = matches;
                 else {
                     try {
-                        charset = services.history.getCharsetForURI(window.makeURI(shortcutURL));
+                        charset = services.history.getCharsetForURI(util.newURI(shortcutURL));
                     }
                     catch (e) {}
                 }
@@ -620,7 +620,7 @@ var Bookmarks = Module("bookmarks", {
                     context.generate = function () {
                         let [begin, end] = item.url.split("%s");
 
-                        return history.get({ uri: window.makeURI(begin), uriIsPrefix: true }).map(function (item) {
+                        return history.get({ uri: util.newURI(begin), uriIsPrefix: true }).map(function (item) {
                             let rest = item.url.length - end.length;
                             let query = item.url.substring(begin.length, rest);
                             if (item.url.substr(rest) == end && query.indexOf("&") == -1)