-<div id="header">
- <?php if (!$_SESSION["hide_hello"]) { ?>
- <?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
- <?php } ?>
- <a href="prefs.php"><?php echo __('Preferences') ?></a>
-
- <?php if (defined('FEEDBACK_URL') && FEEDBACK_URL) { ?>
- | <a target="_blank" class="feedback" href="<?php echo FEEDBACK_URL ?>">
- <?php echo __('Comments?') ?></a>
- <?php } ?>
-
- <?php if (!$_SESSION["hide_logout"]) { ?>
- | <a href="backend.php?op=logout"><?php echo __('Logout') ?></a>
- <?php } ?>
-
- <img id="newVersionIcon" style="display:none" onclick="newVersionDlg()"
- width="13" height="13"
- src="<?php echo theme_image($link, 'images/new_version.png') ?>"
- title="<?php echo __('New version of Tiny Tiny RSS is available!') ?>"
- alt="new_version_icon"/>
-</div>