From 6794548be1b27898fb0e39e8beef93c9c944f08d Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Mon, 17 Jan 2011 11:36:14 +1100
Subject: [PATCH] Remove the useless buffer.destroy definition.

---
 common/content/buffer.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/common/content/buffer.js b/common/content/buffer.js
index 76c7a5b6..fe3adeaf 100644
--- a/common/content/buffer.js
+++ b/common/content/buffer.js
@@ -159,9 +159,6 @@ var Buffer = Module("buffer", {
         this.cleanupProgressListener();
     },
 
-    destroy: function () {
-    },
-
     getDefaultNames: function getDefaultNames(node) {
         let url = node.href || node.src || node.documentURI;
         let currExt = url.replace(/.*(?:\.([a-z0-9]+))?$/, "$1").toLowerCase();