[BACK]Return to header.inc.tpl CVS log [TXT] [DIR] Up to [Paefchen] / FreeBSD / tinderbox / webui / templates / paefchen

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

version 1.2, 2008/01/07 02:05:34 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 26  if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\ Line 26  if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
         <div id="topmenu">          <div id="topmenu">
                 <a id="top"></a>                  <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)) { ?>
Removed from v.1.2  
changed lines
  Added in v.1.3