templates/header.php

   1 <?php
   2 echo "<?xml version=\"1.0\" encoding=\"utf-8\"?>\n";
   3 ?>
   4 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
   6 <head>
   7         <title><?php echo $page['title']; ?></title>
   8         <link rel="stylesheet" href="default.css" type="text/css" />
   9 </head>
  10 <body>
  11
  12 <div class="nav">
  13 <a href=".">Index</a>
  14 <?php
  15 if (isset($page['project'])) {
  16         echo " &raquo; <a href=\"". makelink(array('a' => 'summary', 'p' => $page['project'])) ."\">$page[project]</a>";
  17 }
  18 // TODO: move this out of here
  19 if ($page['action'] === 'summary') {
  20         echo " : Summary";
  21 }
  22 elseif ($page['action'] === 'commit') {
  23         echo " : Commit $page[commit_id]";
  24 }
  25 elseif ($page['action'] === 'shortlog') {
  26         echo " : Shortlog";
  27 }
  28 elseif ($page['action'] === 'tree') {
  29         echo " : Tree $page[tree_id]";
  30 }
  31 elseif ($page['action'] === 'viewblob') {
  32         echo " : Blob $page[hash]";
  33 }
  34
  35 if (isset($page['path'])) {
  36         echo ' / ';
  37         echo htmlentities(join(' / ', explode('/', $page['path'])));
  38 }
  39 ?>
  40 </div>
  41
  42 <?php if (isset($page['project'])) { ?>
  43 <div class="pagenav">
  44 <a href="<?php echo makelink(array('a' => 'summary', 'p' => $page['project'])); ?>">Summary</a> |
  45 <a href="<?php echo makelink(array('a' => 'shortlog', 'p' => $page['project'])); ?>">Shortlog</a> |
  46 <a href="<?php echo makelink(array('a' => 'commit', 'p' => $page['project'], 'h' => $page['commit_id'])); ?>">Commit</a> |
  47 <a href="<?php echo makelink(array('a' => 'commitdiff', 'p' => $page['project'], 'h' => $page['commit_id'])); ?>">Commitdiff</a> |
  48 <a href="<?php echo makelink(array('a' => 'tree', 'p' => $page['project'], 'h' => $page['tree_id'], 'hb' => $page['commit_id'])); ?>">Tree</a>
  49 </div>
  50 <? } ?>
  51