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 * 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']) {