0) { require './libraries/server_common.inc.php'; require './libraries/StorageEngine.class.php'; require './libraries/server_links.inc.php'; } echo '
' . "\n"; echo '
'; echo $strActions; /** * Displays the mysql server related links */ if ($server > 0) { require_once './libraries/check_user_privileges.lib.php'; $is_superuser = PMA_isSuperuser(); if ($cfg['Server']['auth_type'] == 'config') { $cfg['ShowChgPassword'] = false; } } if ($server > 0) { echo '
'; echo '
'; echo $strInterface; echo ' '; echo '
'; echo '
'; echo '
'; if ($server > 0) { echo $strMySQLServerInformation; // robbat2: Use the verbose name of the server instead of the hostname // if a value is set $server_info = ''; if (! empty($cfg['Server']['verbose'])) { $server_info .= htmlspecialchars($cfg['Server']['verbose']); if ($GLOBALS['cfg']['ShowServerInfo']) { $server_info .= ' ('; } } if ($GLOBALS['cfg']['ShowServerInfo'] || empty($cfg['Server']['verbose'])) { $server_info .= PMA_DBI_get_host_info(); } if (! empty($cfg['Server']['verbose']) && $GLOBALS['cfg']['ShowServerInfo']) { $server_info .= ')'; } $mysql_cur_user_and_host = PMA_DBI_fetch_value('SELECT USER();'); // should we add the port info here? $short_server_info = (!empty($GLOBALS['cfg']['Server']['verbose']) ? $GLOBALS['cfg']['Server']['verbose'] : $GLOBALS['cfg']['Server']['host']); //echo '

' . $short_server_info . '

' . "\n"; unset($short_server_info); } if ($server > 0) { echo ''; echo '
'; } if ($server > 0) { echo '
'; echo $strWebServerInformation; echo ''; echo '
'; echo '
'; echo $strAboutphpMyAdmin; echo '
here, otherwise it will not extend the outer div to the * full height of the inner divs */ ?>

1) { trigger_error($strMbOverloadWarning, E_USER_WARNING); } /** * Nijel: mbstring is used for handling multibyte inside parser, so it is good * to tell user something might be broken without it, see bug #1063149. */ if ($GLOBALS['using_mb_charset'] && !@extension_loaded('mbstring')) { trigger_error($strMbExtensionMissing, E_USER_WARNING); } /** * Warning about different MySQL library and server version * (a difference on the third digit does not count). * If someday there is a constant that we can check about mysqlnd, we can use it instead * of strpos(). * If no default server is set, PMA_DBI_get_client_info() is not defined yet. */ if (function_exists('PMA_DBI_get_client_info')) { $_client_info = PMA_DBI_get_client_info(); if ($server > 0 && strpos($_client_info, 'mysqlnd') === false && substr(PMA_MYSQL_CLIENT_API, 0, 3) != substr(PMA_MYSQL_INT_VERSION, 0, 3)) { trigger_error(PMA_sanitize(sprintf($strMysqlLibDiffersServerVersion, $_client_info, substr(PMA_MYSQL_STR_VERSION, 0, strpos(PMA_MYSQL_STR_VERSION . '-', '-')))), E_USER_NOTICE); } unset($_client_info); } /** * prints list item for main page * * @param string $name displayed text * @param string $id id, used for css styles * @param string $url make item as link with $url as target * @param string $mysql_help_page display a link to MySQL's manual * @param string $target special target for $url */ function PMA_printListItem($name, $id = null, $url = null, $mysql_help_page = null, $target = null) { echo '
  • '; if (null !== $url) { echo ''; } echo $name; if (null !== $url) { echo '' . "\n"; } if (null !== $mysql_help_page) { echo PMA_showMySQLDocu('', $mysql_help_page); } echo '
  • '; } /** * Displays the footer */ require_once './libraries/footer.inc.php'; ?>