Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDieter Adriaenssens <ruleant@users.sourceforge.net>2011-09-06 23:48:05 +0400
committerDieter Adriaenssens <ruleant@users.sourceforge.net>2011-09-06 23:48:05 +0400
commita30554b1e4e5a0b6a048b4dfe12dfbeb45321c37 (patch)
treef0c7199483888c157df40fe35a04be851cf8ee3f /index.php
parenta1c9a65994630a28f76a08d86d498ef0493539eb (diff)
use require() instead of include() when including file unconditionally
Diffstat (limited to 'index.php')
-rw-r--r--index.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.php b/index.php
index 9add876131..c8c7756b49 100644
--- a/index.php
+++ b/index.php
@@ -69,7 +69,7 @@ $lang_iso_code = $GLOBALS['available_languages'][$GLOBALS['lang']][1];
// start output
-include './libraries/header_http.inc.php';
+require './libraries/header_http.inc.php';
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">