From 28aa9201f006534f4aac4b402e9137af3fcba930 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 13 Dec 2012 19:46:46 +0100
Subject: [PATCH] extensionUtils: Remove unused property

https://bugzilla.gnome.org/show_bug.cgi?id=690173
---
 js/misc/extensionUtils.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js
index 9e70e265f..b7b6282f0 100644
--- a/js/misc/extensionUtils.js
+++ b/js/misc/extensionUtils.js
@@ -132,7 +132,6 @@ function createExtensionObject(uuid, dir, type) {
     extension.type = type;
     extension.dir = dir;
     extension.path = dir.get_path();
-    extension.error = '';
     extension.hasPrefs = dir.get_child('prefs.js').query_exists(null);
 
     extensions[uuid] = extension;