From e08ffcaaaf4f4d0a60ac828fb39e014528c634e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Thu, 21 Oct 2004 16:47:14 +0000
Subject: [PATCH] Fix navigation reloading.

---
 ChangeLog                | 1 +
 libraries/common.lib.php | 4 +++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 80b3cd9c2..3bcf0aaaf 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -20,6 +20,7 @@ $Source$
     * db_operations.php: Duplicate create new table dialog (see RFE #808029).
     * main.php: Don't display server choice here, if also in left frame (RFE
       #984153).
+    * libraries/common.lib.php: Fix navigation reloading.
 
 2004-10-20 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries/common.lib.php: there was already a tip icon in our collection,
diff --git a/libraries/common.lib.php b/libraries/common.lib.php
index ed2793094..19d4ce7f9 100644
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -1487,11 +1487,13 @@ if ($is_minimum_common == FALSE) {
     /**
      * Reloads navigation if needed.
      *
-     * @global  bool    whehter to reload
+     * @global  mixed   configuration
+     * @global  bool    whether to reload
      *
      * @access  public
      */
     function PMA_reloadNavigation() {
+        global $cfg;
 
         // Reloads the navigation frame via JavaScript if required
         if (isset($GLOBALS['reload']) && $GLOBALS['reload']) {