It's 2016 already! :-)

[ngircd-web.git] / includes / common.php

diff --git a/includes/common.php b/includes/common.php
index bf98cf9b4f024de332d2ad371b5e67dbb111ee63..a0f2950534bacbdd6ccb4046a5cc788f7896c08e 100644 (file)
--- a/includes/common.php
+++ b/includes/common.php
@@ -22,6 +22,16 @@ function begin_page($lang = 'en', $title = null) {
        echo '<div id="bodyBox">';
 
        // Title & Slogan
+       echo '<div id="metaNav">';
+       switch($lang) {
+               case 'de':
+                               echo 'Deutsch&nbsp;|&nbsp;<a href="index.php.en">English</a>';
+                               break;
+               case 'en':
+                               echo '<a href="index.php.de">Deutsch</a>&nbsp;|&nbsp;English';
+                               break;
+       }
+       echo '&nbsp;|&nbsp;<a href="mirrors.php">Mirrors</a></div>';
        echo '<div id="sloganhead">';
        echo '<h1 class="titel">ng<span>IRC</span>d: Next Generation IRC Daemon</h1>';
        echo '<p style="font-family: Georgia">“… serving <em>white hat</em> 6667!”</p>';
@@ -44,7 +54,7 @@ function begin_page($lang = 'en', $title = null) {
                echo '<li><a href="download.php.en">Download</a></li>';
                echo '<li><a href="documentation.php.en">Documentation</a></li>';
                echo '<li><a href="support.php.en">Support</a></li>';
-               echo '<li><a href="bugtracker.php.en">Bug-Tracker</a></li>';
+               echo '<li><a href="bugtracker.php.en">Bug Tracker</a></li>';
        }
        echo '</ul><br style="clear:both">';
 
@@ -53,7 +63,11 @@ function begin_page($lang = 'en', $title = null) {
 
 function end_page() {
        echo '</div>';
-       echo '<p id="footer">ngIRCd &copy;2001-2008 Alexander Barton</p>';
+       echo '<p id="footer">ngIRCd &copy;2001-2016 Alexander Barton and ';
+       echo '<a href="doc/AUTHORS">Contributors</a><br />';
+       echo '<a href="http://flattr.com/thing/343331/ngIRCd" target="_blank">';
+       echo '<img src="common/flattr-badge-large.png" alt="Flattr this" title="Flattr this" border="0" />';
+       echo '</a></p>';
        echo '</div></body></html>';
 }