Fix comment

diff --git a/adminer/drivers/mongo.inc.php b/adminer/drivers/mongo.inc.php
index 605deec8f0e36cbd64b0ccb09f2d457cc140dac1..b466468388d0224ec0b362d2a065951ab259956f 100644 (file)
--- a/adminer/drivers/mongo.inc.php
+++ b/adminer/drivers/mongo.inc.php
@@ -405,7 +405,7 @@ if (isset($_GET["mongo"])) {
                }
 
                function get_databases($flush) {
-                       /** @var $connection Min_DB */
+                       /** @var Min_DB */
                        global $connection;
                        $return = array();
                        $class = 'MongoDB\Driver\Command';