- <div class="topLinks">
- <?php if (!SINGLE_USER_MODE) { ?>
- <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
- <?php } ?>
- <a href="#" onclick="gotoMain()"><?php echo __('Exit preferences') ?></a> |
- <a href='#' onclick="Effect.Appear('hotkey_help_overlay', {duration: 0.3})"><?php echo __("Keyboard shortcuts") ?></a>
- <?php if (!SINGLE_USER_MODE) { ?>
- | <a href="logout.php"><?php echo __('Logout') ?></a>
- <?php } ?>