From b7513097eaf72725086767ad7f467ddab592738a Mon Sep 17 00:00:00 2001
From: Maxim Ermilov <zaspire@rambler.ru>
Date: Tue, 5 Apr 2011 05:20:44 +0400
Subject: [PATCH] extensionSystem: add missing import

https://bugzilla.gnome.org/show_bug.cgi?id=646333
---
 js/ui/extensionSystem.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
index eb82bc3bf..9dd3a47ef 100644
--- a/js/ui/extensionSystem.js
+++ b/js/ui/extensionSystem.js
@@ -3,6 +3,7 @@
 const GLib = imports.gi.GLib;
 const Gio = imports.gi.Gio;
 const St = imports.gi.St;
+const Shell = imports.gi.Shell;
 
 const Config = imports.misc.config;