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:
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>.") {