' : '>';
?>
get('name');
if (!empty($title)) $page_title .= ' :: ' . $title;
if (!empty($_SESSION['imp']['user'])) $page_title .= " [" . $_SESSION['imp']['user'] . "] ";
if (!empty($refresh_time) && !empty($refresh_url)) {
echo "\n";
}
Horde::includeScriptFiles();
?>
<?php echo htmlspecialchars($page_title) ?>
isMobile()): ?>
>