From 0effb3012cf3931640a71850e5521a3c3f4a21f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Mon, 17 Jul 2017 14:55:18 +0200 Subject: [PATCH] Use new API to report version and comment MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michal Čihař --- index.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.php b/index.php index 1dc5932d6f..91314bd0db 100644 --- a/index.php +++ b/index.php @@ -309,7 +309,7 @@ if ($server > 0 && $GLOBALS['cfg']['ShowServerInfo']) { PMA_printListItem( __('Server version:') . ' ' - . PMA_MYSQL_STR_VERSION . ' - ' . PMA_MYSQL_VERSION_COMMENT, + . $GLOBALS['dbi']->getVersionString() . ' - ' . $GLOBALS['dbi']->getVersionComment(), 'li_server_version' ); PMA_printListItem(