Fix PHP 7.3 compatibility (#318)

diff --git a/adminer/drivers/mongo.inc.php b/adminer/drivers/mongo.inc.php
index 30e8a67dcac256eb54260eed4512232f6c37c4af..7b83a285fb82d06c691151487bd8696319407b15 100644 (file)
--- a/adminer/drivers/mongo.inc.php
+++ b/adminer/drivers/mongo.inc.php
@@ -526,7 +526,7 @@ if (isset($_GET["mongo"])) {
                                                                $op = '$regex';
                                                                break;
                                                        default:
-                                                               continue;
+                                                               continue 2;
                                                }
                                                if ($type == 'and') {
                                                        $data['$and'][] = array($col => array($op => $val));