From 52084d839ce63aefd16a9c21f8fa6354b091490d Mon Sep 17 00:00:00 2001 From: Dhananjay Nakrani Date: Sun, 9 Feb 2014 14:06:36 +0530 Subject: Fix for Bug#4275 Signed-off-by: Dhananjay Nakrani --- index.php | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'index.php') diff --git a/index.php b/index.php index 61328fd68c..5424629f83 100644 --- a/index.php +++ b/index.php @@ -305,10 +305,14 @@ if ($GLOBALS['cfg']['ShowServerInfo'] || $GLOBALS['cfg']['ShowPhpInfo']) { ); $php_ext_string = __('PHP extension:') . ' ' - . $GLOBALS['cfg']['Server']['extension'] . ' ' - . PMA_Util::showPHPDocu( - 'book.' . $GLOBALS['cfg']['Server']['extension'] . '.php' - ); + . $GLOBALS['cfg']['Server']['extension'] . ' '; + if (!empty($GLOBALS['cfg']['Server']['extension'])) { + $php_ext_string .= PMA_Util::showPHPDocu('book.' . $GLOBALS['cfg']['Server']['extension'] . '.php' ); + } + else { + $php_ext_string .= __('None'); + } + PMA_printListItem( $php_ext_string, 'li_used_php_extension' -- cgit v1.2.3