diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-02 09:25:01 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-02 09:25:01 +0200 |
| commit | 873c8de694c2d057e2014f8efd3d59ed470171c4 (patch) | |
| tree | 496c81c50ac1f36118b115251f7214d62827bf48 | |
| parent | b57789d3e290d5bfac1729b4125904e6ad4eacda (diff) | |
| download | archweb32-873c8de694c2d057e2014f8efd3d59ed470171c4.tar.xz | |
lib/style.php: fix include
| -rw-r--r-- | lib/style.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/style.php b/lib/style.php index 6229aae..7e14042 100644 --- a/lib/style.php +++ b/lib/style.php @@ -1,5 +1,10 @@ <?php +if (function_exists(print_header)) + return; + +include "lib/mysql.php"; + function print_header($title) { ?> <!DOCTYPE html> |