From f5fdd918a52cb9843971d216034899594b6246ce Mon Sep 17 00:00:00 2001
From: Frank Agerholm <fae@netuse.de>
Date: Wed, 9 Jan 2019 13:15:39 +0100
Subject: [PATCH] Print hostname in page header.

---
 header.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/header.php b/header.php
index faf05dc..527a21e 100644
--- a/header.php
+++ b/header.php
@@ -9,5 +9,6 @@
 <div id="page">
 <div id="header">
 <a href="/"><img style="border:none" src="logo.png" width="192" height="85" alt="Retwis"></a>
+<?php echo gethostname(); ?>
 <?php include("navbar.php") ?>
 </div>