includes/common.php

   1 <?php
   2
   3 function begin_page($lang = 'en', $title = null) {
   4         echo '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" ';
   5         echo '"http://www.w3.org/TR/html4/strict.dtd">' . "\n\n";
   6         echo '<html lang="' . $lang . '">' . "\n";
   7         echo '<head>';
   8         if ($title)
   9                 echo "<title>$title | ngIRCd: Next Generation IRC Daemon</title>";
  10         else
  11                 echo '<title>ngIRCd: Next Generation IRC Daemon</title>';
  12         echo '<meta http-equiv="content-type" content="text/html; charset=utf-8">';
  13         echo '<meta http-equiv="content-language" content="' . $lang . '">';
  14         echo '<meta name="author" content="Alexander Barton">';
  15         echo '<meta name="author-email" content="alex@barton.de">';
  16         echo '<meta name="MSSmartTagsPreventParsing" content="TRUE">';
  17         echo '<link rel="stylesheet" href="common/styles.css" type="text/css" media="screen">';
  18         echo '<link rel="author" href="mailto:alex@barton.de" title="E-Mail an Alex">';
  19         echo '<script type="text/javascript" src="common/mootools.js"></script>';
  20         echo '<script type="text/javascript" src="common/slide.js"></script>';
  21         echo "</head>\n<body>";
  22         echo '<div id="bodyBox">';
  23
  24         // Title & Slogan
  25         echo '<div id="metaNav">';
  26         switch($lang) {
  27                 case 'de':
  28                                 echo 'Deutsch&nbsp;|&nbsp;<a href="index.php.en">English</a>';
  29                                 break;
  30                 case 'en':
  31                                 echo '<a href="index.php.de">Deutsch</a>&nbsp;|&nbsp;English';
  32                                 break;
  33         }
  34         echo '&nbsp;|&nbsp;<a href="mirrors.php">Mirrors</a></div>';
  35         echo '<div id="sloganhead">';
  36         echo '<h1 class="titel">ng<span>IRC</span>d: Next Generation IRC Daemon</h1>';
  37         echo '<p style="font-family: Georgia">“… serving <em>white hat</em> 6667!”</p>';
  38         echo '</div>';
  39
  40         // Navigation
  41         echo '<ul class="nav">';
  42         switch($lang) {
  43           case 'de':
  44                 echo '<li><a href="index.php.de">ngIRCd</a></li>';
  45                 echo '<li><a href="news.php.de">Neuigkeiten</a></li>';
  46                 echo '<li><a href="download.php.de">Download</a></li>';
  47                 echo '<li><a href="documentation.php.de">Dokumentation</a></li>';
  48                 echo '<li><a href="support.php.de">Support</a></li>';
  49                 echo '<li><a href="bugtracker.php.de">Bug-Tracker</a></li>';
  50                 break;
  51           default:
  52                 echo '<li><a href="index.php.en">ngIRCd</a></li>';
  53                 echo '<li><a href="news.php.en">News</a></li>';
  54                 echo '<li><a href="download.php.en">Download</a></li>';
  55                 echo '<li><a href="documentation.php.en">Documentation</a></li>';
  56                 echo '<li><a href="support.php.en">Support</a></li>';
  57                 echo '<li><a href="bugtracker.php.en">Bug Tracker</a></li>';
  58         }
  59         echo '</ul><br style="clear:both">';
  60
  61         echo '<div id="content">';
  62 }
  63
  64 function end_page() {
  65         echo '</div>';
  66         echo '<p id="footer">ngIRCd &copy;2001-2014 Alexander Barton and ';
  67         echo '<a href="doc/AUTHORS">Contributors</a><br />';
  68         echo '<a href="http://flattr.com/thing/343331/ngIRCd" target="_blank">';
  69         echo '<img src="common/flattr-badge-large.png" alt="Flattr this" title="Flattr this" border="0" />';
  70         echo '</a></p>';
  71         echo '</div></body></html>';
  72 }
  73
  74 ?>