preinheimer/xhgui — pull request #52 by anho (2013-08-28 07:20:45+00:00)
Title: Make header.php a little more robust

The header file, that will be included into other apps, should not throw a notice or any other error.