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>