--- FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl	2008/01/05 20:01:16	1.1.2.1
+++ FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl	2008/01/07 03:53:59	1.3
@@ -5,7 +5,7 @@ if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
 ?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
 	"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">
 <head>
 	<title><?=$tinderbox_name?><? if (! empty($header_title)) print " - ".$header_title; ?></title>
@@ -24,12 +24,15 @@ if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
 		</div>
 	</div>
 	<div id="topmenu">
+		<a id="top"></a>
 		<div class="left">
+<? if (is_array($topmenu) && count($topmenu) > 0) { ?>
 			<ul>
-<? if (is_array($topmenu)) {foreach ($topmenu as $menu_title => $menu_url) { ?>
-			<li><a href="<?=$menu_url?>"><?=$menu_title?></a></li>
-<? }} ?>
+	<? foreach ($topmenu as $menu_title => $menu_url) { ?>
+				<li><a href="<?=$menu_url?>"><?=$menu_title?></a></li>
+	<? } ?>
 			</ul>
+<? } ?>
 		</div>
 		<div class="right">
 <? if (! empty($user_name)) { ?>
@@ -37,6 +40,7 @@ if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
 			<ul>
 				<li><a href="index.php?action=list_tinderd_queue">Queue</a></li>
 	<? 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_modify_user&amp;modify_user_id=<?=$user_id?>">Modify Me</a></li>
@@ -46,6 +50,5 @@ if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
 <? } ?>
 		</div>
 	</div>
-	<a id="top"></a>
 	<div id="content">
 
