diff --git a/ChangeLog b/ChangeLog index 6069bfd2b..9a87b3cdb 100755 --- a/ChangeLog +++ b/ChangeLog @@ -5,6 +5,9 @@ phpMyAdmin - Changelog $Id$ $Source$ +2002-07-05 Alexander M. Turek + * header.inc.php3: Tried to fix bug #571409 (Zend Accelerator problems). + 2002-07-05 Marc Delisle * Documentation.html: about html entities in translations diff --git a/header.inc.php3 b/header.inc.php3 index 659c70c8a..ef2417175 100755 --- a/header.inc.php3 +++ b/header.inc.php3 @@ -5,8 +5,13 @@ /** * Gets a core script and starts output buffering work */ -require('./libraries/common.lib.php3'); -require('./libraries/ob.lib.php3'); +if (function_exists('require_once')) { + require_once('./libraries/common.lib.php3'); + require_once('./libraries/ob.lib.php3'); +} else { + require('./libraries/common.lib.php3'); + require('./libraries/ob.lib.php3'); +} if ($GLOBALS['cfg']['OBGzip']) { $GLOBALS['ob_mode'] = PMA_outBufferModeGet(); if ($GLOBALS['ob_mode']) {