From a2fbcbe28e6a089ed887d2d57a7b4617dc7a362e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20D=C3=BCsterhus?= <timwolla@googlemail.com>
Date: Tue, 18 Dec 2018 16:17:21 +0100
Subject: [PATCH] Fix PHP 7.3 compatibility (#318)

---
 adminer/drivers/mongo.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/adminer/drivers/mongo.inc.php b/adminer/drivers/mongo.inc.php
index 30e8a67d..7b83a285 100644
--- 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));