[gnome-shell-extensions] fix undeclared file variable in user-theme/extension.js

[John Stowers <jstowers src gnome org>]

commit 72583b1bf683943c1e4a641cc28ade1b69dcd025
Author: Martin Dengler <martin martindengler com>
Date:   Tue May 17 15:16:13 2011 +0800

    fix undeclared file variable in user-theme/extension.js
    
    Eliminates the warning message about assigning to an undeclared
    variable when User Theme extension is used. Fixes BZ #651374.

 extensions/user-theme/extension.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index 2e61dad..be1416f 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -26,14 +26,14 @@ ThemeManager.prototype = {
 
         if (_themeName) {
             let _userCssStylesheet = GLib.get_home_dir() + '/.themes/' + _themeName + '/gnome-shell/gnome-shell.css';
-            file = Gio.file_new_for_path(_userCssStylesheet);
+            let file = Gio.file_new_for_path(_userCssStylesheet);
             if (file.query_exists(null))
                 _stylesheet = _userCssStylesheet;
             else {
                 let sysdirs = GLib.get_system_data_dirs();
                 for (let i = 0; i < sysdirs.length; i++) {
                     _userCssStylesheet = sysdirs[i] + '/themes/' + _themeName + '/gnome-shell/gnome-shell.css';
-                    file = Gio.file_new_for_path(_userCssStylesheet);
+                    let file = Gio.file_new_for_path(_userCssStylesheet);
                     if (file.query_exists(null)) {
                         _stylesheet = _userCssStylesheet;
                         break;