fixed an error about whether to display table name or not at the top of the page

sql.php3

@@ -65,6 +65,9 @@ if (isset($btnDrop) && $btnDrop == $strNo) {
         $goto = $back;
     }
     if (file_exists('./' . $goto)) {
+        if ($goto == 'db_details.php3' && !empty($table)) {
+            unset($table);
+        }
         include('./' . ereg_replace('\.\.*', '.', $goto));
     } else {
         header('Location: ' . $cfgPmaAbsoluteUri . $goto);
@@ -233,6 +236,9 @@ else {
             if ($goto != 'main.php3') {
                 include('./header.inc.php3');
             }
+            if ($goto == 'db_details.php3' && !empty($table)) {
+                unset($table);
+            }
             include('./' . $goto);
         } // end if file_exist
         else {

tbl_replace.php3

@@ -258,6 +258,9 @@ if (!$result) {
     mysql_die($error);
 } else {
     if (file_exists('./' . $goto)) {
+        if ($goto == 'db_details.php3' && !empty($table)) {
+            unset($table);
+        }
         include('./header.inc.php3');
         $message = $strModifications;
         include('./' . ereg_replace('\.\.*', '.', $goto));