From 823aad9ad6d7f2528a5424a0b11193858d79ef6d Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Sat, 21 Dec 2019 23:36:41 +0100
Subject: Fix #15614 - Undefined offset on index page for MySQL 5.7.8

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'index.php')

diff --git a/index.php b/index.php
index ef2764769b..9ed6010624 100644
--- a/index.php
+++ b/index.php
@@ -376,7 +376,7 @@ if ($server > 0 && $GLOBALS['cfg']['ShowServerInfo']) {
         $GLOBALS['cfg']['Server']['DisableIS']
     );
 
-    echo '           ' , $charsets[$charset], ' (' . $charset, ')';
+    echo '           ' , (isset($charsets[$charset]) ? $charsets[$charset] : '') , ' (' . $charset, ')';
     echo '        </span>'
        . '    </li>'
        . '  </ul>'
-- 
cgit v1.2.3