[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.2.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">
1.1.2.1 ! as          8: <!-- $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl,v 1.1 2008/01/05 12:25:17 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">
                     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=display_add_user">Add User</a></li>
                     41:        <? } ?>
                     42:                                <li><a href="index.php?action=display_modify_user&amp;modify_user_id=<?=$user_id?>">Modify Me</a></li>
                     43:                                <li><input type="submit" name="do_logout" value="Logout" /></li>
                     44:                        </ul>   
                     45:                        </form>
                     46: <? } ?>
                     47:                </div>
                     48:        </div>
                     49:        <a id="top"></a>
                     50:        <div id="content">
                     51: