Fix for Bug#4275

Signed-off-by: Dhananjay Nakrani <dhananjaynakrani@gmail.com>

1 files changed, 8 insertions, 4 deletions

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'