version 1.1.2.1, 2008/01/05 20:01:16
|
version 1.3, 2008/01/07 03:53:59
|
Line 5 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
Line 5 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
?> |
?> |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" |
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
<!-- $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl,v 1.1 2008/01/05 12:25:17 as Exp $ //--> | <!-- $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl,v 1.2 2008/01/07 02:05:34 as Exp $ //--> |
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> |
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> |
<head> |
<head> |
<title><?=$tinderbox_name?><? if (! empty($header_title)) print " - ".$header_title; ?></title> |
<title><?=$tinderbox_name?><? if (! empty($header_title)) print " - ".$header_title; ?></title> |
Line 24 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
Line 24 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
</div> |
</div> |
</div> |
</div> |
<div id="topmenu"> |
<div id="topmenu"> |
|
<a id="top"></a> |
<div class="left"> |
<div class="left"> |
|
<? if (is_array($topmenu) && count($topmenu) > 0) { ?> |
<ul> |
<ul> |
<? if (is_array($topmenu)) {foreach ($topmenu as $menu_title => $menu_url) { ?> | <? foreach ($topmenu as $menu_title => $menu_url) { ?> |
<li><a href="<?=$menu_url?>"><?=$menu_title?></a></li> | <li><a href="<?=$menu_url?>"><?=$menu_title?></a></li> |
<? }} ?> | <? } ?> |
</ul> |
</ul> |
|
<? } ?> |
</div> |
</div> |
<div class="right"> |
<div class="right"> |
<? if (! empty($user_name)) { ?> |
<? if (! empty($user_name)) { ?> |
Line 37 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
Line 40 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
<ul> |
<ul> |
<li><a href="index.php?action=list_tinderd_queue">Queue</a></li> |
<li><a href="index.php?action=list_tinderd_queue">Queue</a></li> |
<? if ($is_www_admin == 1) { ?> |
<? if ($is_www_admin == 1) { ?> |
|
<li><a href="index.php?action=config">Config</a></li> |
<li><a href="index.php?action=display_add_user">Add User</a></li> |
<li><a href="index.php?action=display_add_user">Add User</a></li> |
<? } ?> |
<? } ?> |
<li><a href="index.php?action=display_modify_user&modify_user_id=<?=$user_id?>">Modify Me</a></li> |
<li><a href="index.php?action=display_modify_user&modify_user_id=<?=$user_id?>">Modify Me</a></li> |
Line 46 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
Line 50 if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
|
<? } ?> |
<? } ?> |
</div> |
</div> |
</div> |
</div> |
<a id="top"></a> |
|
<div id="content"> |
<div id="content"> |
|
|