' : '' ?>
get('name');
if (!empty($title)) $page_title .= ' :: ' . $title;
if (!empty($_SESSION['imp']['user'])) $page_title .= " [" . $_SESSION['imp']['user'] . "] ";
if (!empty($refresh_time) && ($refresh_time > 0) && !empty($refresh_url)) {
echo "\n";
}
if ($GLOBALS['browser']->isBrowser('konqueror')) {
Horde::addScriptFile('fixUnstyledOptions.js', 'kronolith', true);
}
Horde::includeScriptFiles();
?>
<?php echo htmlspecialchars($page_title) ?>
>
isBrowser('msie') && version_compare($GLOBALS['browser']->getVersion(), '5.5') >= 0): ?>