docs -> bold link, more space

This commit is contained in:
Olivier Müller
2001-08-22 11:57:26 +00:00
parent 3be050f6b0
commit 67e9387c6e

View File

@@ -187,6 +187,13 @@ if ($server > 0
echo "\n"; echo "\n";
} // end create db form } // end create db form
?>
<li>
<a href="index.php3?<?php echo$common_url_query; ?>&old_usr=<?php echo urlencode($PHP_AUTH_USER); ?>" target="_top">
<b><?php echo $strLogout; ?></b></a>
</li>
<?php
// Server related links // Server related links
if ($result_usr['References_priv'] == 'Y') { if ($result_usr['References_priv'] == 'Y') {
?> ?>
@@ -235,15 +242,12 @@ if ($server > 0
<a href="db_stats.php3?<?php echo $common_url_query; ?>"> <a href="db_stats.php3?<?php echo $common_url_query; ?>">
<?php echo $strDatabasesStats; ?></a> <?php echo $strDatabasesStats; ?></a>
</li> </li>
<br /><br />
<?php <?php
echo "\n"; echo "\n";
} }
?> ?>
<li>
<a href="index.php3?<?php echo$common_url_query; ?>&old_usr=<?php echo urlencode($PHP_AUTH_USER); ?>" target="_top">
<b><?php echo $strLogout; ?></b></a>
</li>
<br /><br /> <br /><br />
<?php <?php
echo "\n"; echo "\n";
@@ -300,6 +304,7 @@ if ($server > 0
<a href="db_stats.php3?<?php echo $common_url_query; ?>"> <a href="db_stats.php3?<?php echo $common_url_query; ?>">
<?php echo $strDatabasesStats; ?></a> <?php echo $strDatabasesStats; ?></a>
</li> </li>
<br /><br />
<?php <?php
echo "\n"; echo "\n";
} }
@@ -307,15 +312,16 @@ if ($server > 0
} // end of 2: if ($server > 0) } // end of 2: if ($server > 0)
?> ?>
<!-- documentation -->
<li>
<a href="Documentation.html" target="_new"><b>phpMyAdmin <?php echo $strDocu; ?></b></a>
</li>
<!-- PHP Information --> <!-- PHP Information -->
<li> <li>
<a href="phpinfo.php3" target="_new"><?php echo $strShowPHPInfo; ?></a> <a href="phpinfo.php3" target="_new"><?php echo $strShowPHPInfo; ?></a>
</li> </li>
<!-- documentation -->
<li>
<a href="Documentation.html" target="_new">phpMyAdmin <?php echo $strDocu; ?></a>
</li>
<li> <li>
<a href="http://phpwizard.net/projects/phpMyAdmin/" target="_new"><?php echo $strHomepageOfficial; ?></a> <a href="http://phpwizard.net/projects/phpMyAdmin/" target="_new"><?php echo $strHomepageOfficial; ?></a>
</li> </li>