Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/lib/style.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-05-02 09:24:40 +0200
committerErich Eckner <git@eckner.net>2018-05-02 09:24:40 +0200
commitb57789d3e290d5bfac1729b4125904e6ad4eacda (patch)
tree9a52a394866711bbc9da89746004aa0c1fb60d62 /lib/style.php
parent2d8f8d193b9b4cf17b6eedd342149ff0d6ba7874 (diff)
put offline-slave-warning into print_header()
Diffstat (limited to 'lib/style.php')
-rw-r--r--lib/style.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/style.php b/lib/style.php
index 362f53e..6229aae 100644
--- a/lib/style.php
+++ b/lib/style.php
@@ -31,6 +31,7 @@ function print_header($title) {
</div>
<div id="content">
<?php
+ show_warning_on_offline_slave();
}
function print_footer($copyright = "Copyright © 2002-2018 <a href=\"mailto:jvinet@zeroflux.org\" title=\"Contact Judd Vinet\">Judd Vinet</a> and <a href=\"mailto:aaron@archlinux.org\" title=\"Contact Aaron Griffin\">Aaron Griffin</a>.") {