phpMyAdmin 2.2.0pre3 (unofficial devel-branch)

0) { // Don't display server info if $server==0 (no server selected) $res_version = mysql_query("SELECT Version() as version") or mysql_die(); $row_version = mysql_fetch_array($res_version); echo "MySQL $row_version[version] $strRunning " . $cfgServer['host']; if (!empty($cfgServer['port'])) { echo ":" . $cfgServer['port']; } echo "
\n"; } ?>
0) && isset($mode) && ($mode == "reload")) { $result = mysql_query("FLUSH PRIVILEGES"); if ($result != 0) { echo "$strMySQLReloaded"; } else { echo "$strReloadFailed"; } } ?>