From 873c8de694c2d057e2014f8efd3d59ed470171c4 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 2 May 2018 09:25:01 +0200
Subject: lib/style.php: fix include

---
 lib/style.php | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/style.php')
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>
-- 
cgit v1.2.3

