From ebe4c574c0c309b13104579999d5e9d977ee7d8e Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Wed, 17 Jun 2009 17:29:21 +1000
Subject: [PATCH] Remove unused elemToString from ItemList.

---
 common/content/ui.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/common/content/ui.js b/common/content/ui.js
index ff653e62..7619b920 100644
--- a/common/content/ui.js
+++ b/common/content/ui.js
@@ -1730,10 +1730,6 @@ function ItemList(id) //{{{
 
     function dom(xml, map) util.xmlToDom(xml, doc, map);
 
-    // Unused.
-    function elemToString(elem) elem.nodeType == elem.TEXT_NODE ? elem.data :
-        "<" + [elem.localName].concat([a.name + "=" + a.value.quote() for ([i, a] in Iterator(elem.attributes))]).join(" ") + ">";
-
     var doc = iframe.contentDocument;
     var container = iframe.parentNode;