From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 4 May 2018 13:37:29 +0000 (+0200)
Subject: MongoDB: Report version
X-Git-Tag: v4.6.3~24
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=70afe70b7277473eb86f0befcb567e9f3e2d5c3b;p=adminer.git

MongoDB: Report version
---

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;