platforms.html: Fix German "Plattformen" in HTML title

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

diff --git a/includes/common.php b/includes/common.php
index 049285280ab10551d240657e1f2743335d01be9f..236885bd58cbfe7cc9ab045d3f77de645f569c7f 100644 (file)
--- a/includes/common.php
+++ b/includes/common.php
@@ -54,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">';
 
@@ -63,9 +63,32 @@ function begin_page($lang = 'en', $title = null) {
 
 function end_page() {
        echo '</div>';
-       echo '<p id="footer">ngIRCd &copy;2001-2012 Alexander Barton and ';
-       echo '<a href="doc/AUTHORS">Contributors</a></p>';
+       echo '<p id="footer">ngIRCd &copy;2001-2019 Alexander Barton and ';
+       echo '<a href="doc/AUTHORS">Contributors</a>';
        echo '</div></body></html>';
 }
 
+function download_links($rel, $server, $protocol = "https") {
+       echo "<dd>";
+       echo "Server: <em>$server</em> ";
+       /* Download folder */
+       echo "(<a href=\"$protocol://$server/pub/ngircd/\">$protocol</a>";
+       if ($protocol == "https")
+               echo "&thinsp;🔒";
+       echo "): ";
+       /* Archive files */
+       $count = 1;
+       foreach (array('tar.gz', 'tar.xz', 'tar.Z') as $suffix) {
+               if ($count > 1)
+                       echo ', ';
+               echo "<a href=\"$protocol://$server/pub/ngircd/ngircd-$rel.$suffix\">";
+               if ($suffix == "tar.gz")
+                       echo "ngircd-$rel.";
+               echo "$suffix</a> ";
+               echo "(<a href=\"$protocol://$server/pub/ngircd/ngircd-$rel.$suffix.sig\">Sig</a>)";
+               $count++;
+       }
+       echo "</dd>";
+}
+
 ?>