' . $full_string . '
'; if ($result != 0) { echo $strMySQLReloaded; } else { echo $strReloadFailed; } unset($result); echo '
' . "\n\n"; } /** * Displays the MySQL servers choice form */ if ($server == 0 || count($cfg['Servers']) > 1) { ?>MySQL | phpMyAdmin |
---|---|
0) echo "\n"; /** * Displays the phpMyAdmin related links */ ?> |