[BACK]Return to header.inc.tpl CVS log [TXT] [DIR] Up to [Paefchen] / FreeBSD / tinderbox / webui / templates / paefchen

Annotation of FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl, revision 1.1

1.1     ! as          1: <?
        !             2: if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\d*) //-->@', $display_login, $match)) {
        !             3:        list(,, $user_name,, $user_id,, $is_www_admin) = $match;
        !             4: }
        !             5: ?>
        !             6: <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
        !             7:        "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
        !             8: <!-- $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl,v 1.1 2008/01/05 11:56:01 as Exp $ //-->
        !             9: <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
        !            10: <head>
        !            11:        <title><?=$tinderbox_name?><? if (! empty($header_title)) print " - ".$header_title; ?></title>
        !            12:        <link href="<?=$templatesuri?>/tinderstyle.css" rel="stylesheet" type="text/css" />
        !            13:        <meta http-equiv="content-type" content="text/html; charset=iso-8859-1" />
        !            14: </head>
        !            15: <body>
        !            16:        <div id="header">
        !            17:                <div class="left">
        !            18:                        <h1><a href="index.php"><?=$tinderbox_title?></a><? if (! empty($header_title)) print " - ".$header_title; ?></h1>
        !            19:                </div>
        !            20:                <div class="right">
        !            21:                <? if (! empty($user_name)) { ?>
        !            22:                        <h1>Welcome <?=$user_name?>!</h1>
        !            23:                <? } ?>
        !            24:                </div>
        !            25:        </div>
        !            26:        <div id="topmenu">
        !            27:                <div class="left">
        !            28:                        <ul>
        !            29: <? if (is_array($topmenu)) {foreach ($topmenu as $menu_title => $menu_url) { ?>
        !            30:                        <li><a href="<?=$menu_url?>"><?=$menu_title?></a></li>
        !            31: <? }} ?>
        !            32:                        </ul>
        !            33:                </div>
        !            34:                <div class="right">
        !            35: <? if (! empty($user_name)) { ?>
        !            36:                        <form method="post" action="index.php">
        !            37:                        <ul>
        !            38:                                <li><a href="index.php?action=list_tinderd_queue">Queue</a></li>
        !            39:        <? if ($is_www_admin == 1) { ?>
        !            40:                                <li><a href="index.php?action=config">Config</a></li>
        !            41:                                <li><a href="index.php?action=display_add_user">Add User</a></li>
        !            42:        <? } ?>
        !            43:                                <li><a href="index.php?action=display_modify_user&amp;modify_user_id=<?=$user_id?>">Modify Me</a></li>
        !            44:                                <li><input type="submit" name="do_logout" value="Logout" /></li>
        !            45:                        </ul>   
        !            46:                        </form>
        !            47: <? } ?>
        !            48:                </div>
        !            49:        </div>
        !            50:        <a id="top"></a>
        !            51:        <div id="content">
        !            52: