From c41eed2b52c6cdf2f41f7025a806455a41c68ec0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= Date: Sat, 23 Jun 2001 11:01:23 +0000 Subject: [PATCH] Rewritten (PEAR coding standards + XHTML1.0) an fixed bad case in documentation links' anchors --- main.php3 | 394 ++++++++++++++++++++++++++++++++---------------------- 1 file changed, 234 insertions(+), 160 deletions(-) diff --git a/main.php3 b/main.php3 index bfa18e4ef..def2e403c 100755 --- a/main.php3 +++ b/main.php3 @@ -2,19 +2,22 @@ /* $Id$ */ -require("./grab_globals.inc.php3"); - -if (!isset($message)) { - include("./header.inc.php3"); -} else { - include("./header.inc.php3"); - include("./lib.inc.php3"); - show_message($message); +/** + * Gets some core libraries and diplays a top message if required + * TODO: The included script aren't yet xhtml1.0 compliant + */ +require('./grab_globals.inc.php3'); +require('./header.inc.php3'); +if (isset($message)) { + include('./lib.inc.php3'); + show_message($message); } -?> -'; reset($available_languages); @@ -27,172 +30,243 @@ if (empty($cfgLang)) { } echo "\n


\n"; } + + +/** + * Displays the welcome message and the server informations + */ ?> - -

phpMyAdmin 2.3.0alpha-20010604 (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"; + $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"; - } - } + +/** + * Reload mysql (flush privileges) + */ +if (($server > 0) && isset($mode) && ($mode == 'reload')) { + $result = mysql_query('FLUSH PRIVILEGES'); + echo '

'; + if ($result != 0) { + echo $strMySQLReloaded; + } else { + echo $strReloadFailed; + } + echo '

' . "\n"; +} + + + +/** + * Displays the servers choice form and/or the server-related links + */ ?> -
+ + +