[gnome-shell] extensionUtils: Remove unused property

[Florian MÃllner <fmuellner src gnome org>]

commit 28aa9201f006534f4aac4b402e9137af3fcba930
Author: Florian MÃllner <fmuellner gnome org>
Date:   Thu Dec 13 19:46:46 2012 +0100

    extensionUtils: Remove unused property
    
    https://bugzilla.gnome.org/show_bug.cgi?id=690173

 js/misc/extensionUtils.js |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js
index 9e70e26..b7b6282 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;