[gnome-shell-extensions] windowsNavigator: fix a warning in disable()

[Giovanni Campagna <gcampagna src gnome org>]

commit 348f0faf228e3dd2651cb3e195fa952064975411
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Feb 4 23:58:20 2013 +0100

    windowsNavigator: fix a warning in disable()

 extensions/windowsNavigator/extension.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index c38a98f..50beaa8 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -253,6 +253,8 @@ function removeInjection(object, injection, name) {
 }
 
 function disable() {
+    let i;
+
     for (i in workspaceInjections)
         removeInjection(Workspace.Workspace.prototype, workspaceInjections, i);
     for (i in winInjections)