From 73862412ee0bd059ca14bb7c9bce4cd93d1c583a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <mcihar@suse.cz>
Date: Mon, 10 Jun 2013 17:27:45 +0200
Subject: [PATCH] Missing include

---
 libraries/Header.class.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libraries/Header.class.php b/libraries/Header.class.php
index 46af0445a4c4..2c1925a82ad4 100644
--- a/libraries/Header.class.php
+++ b/libraries/Header.class.php
@@ -12,6 +12,7 @@
 require_once 'libraries/Scripts.class.php';
 require_once 'libraries/RecentTable.class.php';
 require_once 'libraries/Menu.class.php';
+require_once 'libraries/Util.class.php';
 require_once 'libraries/navigation/Navigation.class.php';
 require_once 'libraries/url_generating.lib.php';