summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--index.php6
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>';