<?php else: ?>
<div style="float:left; position: relative;">
<a href="do/signup">Sign up</a> |
-<a href="/~sql/phpMyAdmin/" target="_blank">phpMyAdmin</a> |
+<a href="https://scripts.mit.edu/~sql/phpMyAdmin/" target="_blank">phpMyAdmin</a> |
<a href="do/index">Home</a>
</div>
<div style="float: right;">