[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.3

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">
1.3     ! as          8: <!-- $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl,v 1.2 2008/01/07 02:05:34 as Exp $ //-->
1.1       as          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">
1.2       as         27:                <a id="top"></a>
1.1       as         28:                <div class="left">
1.3     ! as         29: <? if (is_array($topmenu) && count($topmenu) > 0) { ?>
1.1       as         30:                        <ul>
1.3     ! as         31:        <? foreach ($topmenu as $menu_title => $menu_url) { ?>
        !            32:                                <li><a href="<?=$menu_url?>"><?=$menu_title?></a></li>
        !            33:        <? } ?>
1.1       as         34:                        </ul>
1.3     ! as         35: <? } ?>
1.1       as         36:                </div>
                     37:                <div class="right">
                     38: <? if (! empty($user_name)) { ?>
                     39:                        <form method="post" action="index.php">
                     40:                        <ul>
                     41:                                <li><a href="index.php?action=list_tinderd_queue">Queue</a></li>
                     42:        <? if ($is_www_admin == 1) { ?>
                     43:                                <li><a href="index.php?action=config">Config</a></li>
                     44:                                <li><a href="index.php?action=display_add_user">Add User</a></li>
                     45:        <? } ?>
                     46:                                <li><a href="index.php?action=display_modify_user&amp;modify_user_id=<?=$user_id?>">Modify Me</a></li>
                     47:                                <li><input type="submit" name="do_logout" value="Logout" /></li>
                     48:                        </ul>   
                     49:                        </form>
                     50: <? } ?>
                     51:                </div>
                     52:        </div>
                     53:        <div id="content">
                     54: