Diff for /FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl between versions 1.1.2.1 and 1.3

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&amp;modify_user_id=<?=$user_id?>">Modify Me</a></li>                                  <li><a href="index.php?action=display_modify_user&amp;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">
   

Removed from v.1.1.2.1  
changed lines
  Added in v.1.3