From 02fb86aea8f0b8da7583c7667a4df342941c365e Mon Sep 17 00:00:00 2001
From: Simon Brown <brownsr@users.noreply.github.com>
Date: Wed, 24 Jan 2018 11:37:43 +0000
Subject: [PATCH] main: avoid a run time warning (#7214)

---
 js/ui/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/main.js b/js/ui/main.js
index 40773a3c7c..7e29c37203 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -89,7 +89,7 @@ const Lang = imports.lang;
 const SoundManager = imports.ui.soundManager;
 const BackgroundManager = imports.ui.backgroundManager;
 const SlideshowManager = imports.ui.slideshowManager;
-const AppletManager = imports.ui.appletManager;
+var AppletManager = imports.ui.appletManager;
 const SearchProviderManager = imports.ui.searchProviderManager;
 const DeskletManager = imports.ui.deskletManager;
 const ExtensionSystem = imports.ui.extensionSystem;