summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-05-02 09:25:01 +0200
committerErich Eckner <git@eckner.net>2018-05-02 09:25:01 +0200
commit873c8de694c2d057e2014f8efd3d59ed470171c4 (patch)
tree496c81c50ac1f36118b115251f7214d62827bf48
parentb57789d3e290d5bfac1729b4125904e6ad4eacda (diff)
downloadarchweb32-873c8de694c2d057e2014f8efd3d59ed470171c4.tar.xz
lib/style.php: fix include
-rw-r--r--lib/style.php5
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>