Merge commit '52084d8'

1 files changed, 8 insertions, 4 deletions

diff --git a/index.php b/index.php
index c044588340..9c92073a20 100644
--- a/index.php
+++ b/index.php
@@ -316,10 +316,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'