' . $full_string . '
'; if ($result != 0) { echo $strMySQLReloaded; } else { echo $strReloadFailed; } echo '
' . "\n\n"; } /** * Displays the MySQL servers choice form */ if ($server == 0 || count($cfg['Servers']) > 1) { ?>
|
0) echo "\n"; /** * Displays the phpMyAdmin related links */ ?> |
|
' . $strInsecureMySQL . '
' . "\n"; } /** * Warning for PHP 4.2.3 */ if (PMA_PHP_INT_VERSION == 40203 && @extension_loaded('mbstring')) { echo '' . $strPHP40203 . '
' . "\n"; } /** * Displays the footer */ echo "\n"; require('./footer.inc.php3'); ?>