diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-02 09:24:40 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-02 09:24:40 +0200 |
| commit | b57789d3e290d5bfac1729b4125904e6ad4eacda (patch) | |
| tree | 9a52a394866711bbc9da89746004aa0c1fb60d62 /lib/style.php | |
| parent | 2d8f8d193b9b4cf17b6eedd342149ff0d6ba7874 (diff) | |
| download | website-b57789d3e290d5bfac1729b4125904e6ad4eacda.tar.xz | |
put offline-slave-warning into print_header()
Diffstat (limited to 'lib/style.php')
| -rw-r--r-- | lib/style.php | 1 |
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>.") { |