Display a banner when present

1 files changed, 6 insertions, 0 deletions

diff --git a/index.php b/index.php
index ed6c5d7..cb753c2 100644
--- a/index.php
+++ b/index.php
@@ -316,6 +316,12 @@ header(sprintf('X-BS-Buildtime-Average: %5.2f', $buildtime_avg));
     <h1><?php echo $title ?></h1>
 
 <?php
+
+$bannerfile = dirname(__FILE__) . '/banner.html';
+if (file_exists($bannerfile)) {
+    echo file_get_contents($bannerfile);
+}
+
 if (!is_null($g_user) || $_GET['package'])
     echo '<a href="/">&laquo;&nbsp;Back to full list</a>';