summaryrefslogtreecommitdiffstats
path: root/index.php
diff options
context:
space:
mode:
authorPascal Terjan <pterjan@mageia.org>2012-02-01 17:44:49 +0000
committerPascal Terjan <pterjan@mageia.org>2012-02-01 17:44:49 +0000
commit70b5f9b61ecb4c8056ff78b1ef40451daa454d80 (patch)
tree4a3482b7e5b76899164260101d2b920df0ebe995 /index.php
parent1226733f9ad7434d2f1769a8882845451039e57c (diff)
downloadpkgsubmit-70b5f9b61ecb4c8056ff78b1ef40451daa454d80.tar
pkgsubmit-70b5f9b61ecb4c8056ff78b1ef40451daa454d80.tar.gz
pkgsubmit-70b5f9b61ecb4c8056ff78b1ef40451daa454d80.tar.bz2
pkgsubmit-70b5f9b61ecb4c8056ff78b1ef40451daa454d80.tar.xz
pkgsubmit-70b5f9b61ecb4c8056ff78b1ef40451daa454d80.zip
Display a banner when present
Diffstat (limited to 'index.php')
-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>';