From 41cf38c0dcb9b7eb54867af44afec169710018b9 Mon Sep 17 00:00:00 2001
From: "Alexander M. Turek" <me@derrabus.de>
Date: Tue, 16 Jul 2002 12:09:58 +0000
Subject: [PATCH] Use include() instead of require()

---
 ChangeLog       | 3 +++
 header.inc.php3 | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 1a88bdf8c..dbdfc350a 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,9 @@ phpMyAdmin - Changelog
 $Id$
 $Source$
 
+2002-07-16 Alexander M. Turek  <rabus@users.sourceforge.net>
+    * header.inc.php3: Use include() instead of require().
+
 2002-07-16 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries: charset_conversion.lib.php3, common.lib.php3: bug 581577:
       a better if, because sometimes the test for PHP3 succeeds even
diff --git a/header.inc.php3 b/header.inc.php3
index acbe7adda..319b23574 100755
--- a/header.inc.php3
+++ b/header.inc.php3
@@ -6,10 +6,10 @@
  * Gets a core script and starts output buffering work
  */
 if (!defined('PMA_COMMON_LIB_INCLUDED')) {
-    require('./libraries/common.lib.php3');
+    include('./libraries/common.lib.php3');
 }
 if (!defined('PMA_OB_LIB_INCLUDED')) {
-    require('./libraries/ob.lib.php3');
+    include('./libraries/ob.lib.php3');
 }
 if ($GLOBALS['cfg']['OBGzip']) {
     $GLOBALS['ob_mode'] = PMA_outBufferModeGet();