From 70afe70b7277473eb86f0befcb567e9f3e2d5c3b Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Fri, 4 May 2018 15:37:29 +0200 Subject: [PATCH] MongoDB: Report version --- adminer/drivers/mongo.inc.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/adminer/drivers/mongo.inc.php b/adminer/drivers/mongo.inc.php index b31cd098..c67964e4 100644 --- a/adminer/drivers/mongo.inc.php +++ b/adminer/drivers/mongo.inc.php @@ -7,7 +7,7 @@ if (isset($_GET["mongo"])) { if (class_exists('MongoDB')) { class Min_DB { - var $extension = "Mongo", $error, $last_id, $_link, $_db; + var $extension = "Mongo", $server_info = MongoClient::VERSION, $error, $last_id, $_link, $_db; function connect($server, $username, $password) { global $adminer; @@ -218,7 +218,7 @@ if (isset($_GET["mongo"])) { } elseif (class_exists('MongoDB\Driver\Manager')) { class Min_DB { - var $extension = "MongoDB", $error, $last_id; + var $extension = "MongoDB", $server_info = MONGODB_VERSION, $error, $last_id; /** @var MongoDB\Driver\Manager */ var $_link; var $_db, $_db_name;