Notices: Declare Db::$info at least in MySQL

diff --git a/adminer/drivers/mysql.inc.php b/adminer/drivers/mysql.inc.php
index 0346553261b81bd1e2f3b58eb89a1ce73be53f70..a269a0a6d57eae2052115d96ad137608d90495e0 100644 (file)
--- a/adminer/drivers/mysql.inc.php
+++ b/adminer/drivers/mysql.inc.php
@@ -66,6 +66,7 @@ if (!defined('Adminer\DRIVER')) {
                                $flavor = '', ///< @var string different vendor with the same API, e.g. MariaDB, usually stays empty
                                $server_info, ///< @var string server version
                                $affected_rows, ///< @var int number of affected rows
+                               $info, ///< @var string see https://php.net/mysql_info
                                $errno, ///< @var int last error code
                                $error ///< @var string last error message
                        ;

diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php
index 60f9f5525349af501dd7548600212ec04f192109..3bce84d125fcddbb7780bcc6c324eba5111f45c2 100644 (file)
--- a/adminer/sql.inc.php
+++ b/adminer/sql.inc.php
@@ -181,7 +181,7 @@ if (!$error && $_POST) {
                                                                                        stop_session();
                                                                                }
                                                                                if (!$_POST["only_errors"]) {
-                                                                                       echo "<p class='message' title='" . h($connection->info) . "'>" . lang('Query executed OK, %d row(s) affected.', $affected) . "$time\n";
+                                                                                       echo "<p class='message' title='" . h(isset($connection->info) ? $connection->info : "") . "'>" . lang('Query executed OK, %d row(s) affected.', $affected) . "$time\n";
                                                                                }
                                                                        }
                                                                        echo ($warnings ? "<div id='$warnings_id' class='hidden'>\n$warnings</div>\n" : "");