Fix navigation reloading.

This commit is contained in:
Michal Čihař
2004-10-21 16:47:14 +00:00
parent b0468dce56
commit e08ffcaaaf
2 changed files with 4 additions and 1 deletions

View File

@@ -20,6 +20,7 @@ $Source$
* db_operations.php: Duplicate create new table dialog (see RFE #808029). * 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 * main.php: Don't display server choice here, if also in left frame (RFE
#984153). #984153).
* libraries/common.lib.php: Fix navigation reloading.
2004-10-20 Marc Delisle <lem9@users.sourceforge.net> 2004-10-20 Marc Delisle <lem9@users.sourceforge.net>
* libraries/common.lib.php: there was already a tip icon in our collection, * libraries/common.lib.php: there was already a tip icon in our collection,

View File

@@ -1487,11 +1487,13 @@ if ($is_minimum_common == FALSE) {
/** /**
* Reloads navigation if needed. * Reloads navigation if needed.
* *
* @global bool whehter to reload * @global mixed configuration
* @global bool whether to reload
* *
* @access public * @access public
*/ */
function PMA_reloadNavigation() { function PMA_reloadNavigation() {
global $cfg;
// Reloads the navigation frame via JavaScript if required // Reloads the navigation frame via JavaScript if required
if (isset($GLOBALS['reload']) && $GLOBALS['reload']) { if (isset($GLOBALS['reload']) && $GLOBALS['reload']) {