-<div id="content1">
<?php if (isLoggedIn()): ?>
<div style="float:left">
<a href="do/main?refresh">Databases</a> |
Logged in: <em><?=$loggedInText?>@<?=DBHOST?></em>
<?php else: ?>
<div style="float:left; position: relative;">
-<a href="do/index">Home</a> |
-<a href="do/signup">Sign up</a>
+<a href="do/signup">Sign up</a> |
+<a href="https://scripts.mit.edu/~sql/phpMyAdmin/" target="_blank">phpMyAdmin</a> |
+<a href="do/index">Home</a>
</div>
<div style="float: right;">
Login via <a href="do/login?ssl=0">SQL Password</a> or <a href="do/login?ssl=1">MIT Certificate</a>
</div>
<?php endif; ?>
-</div>