From: Tim Düsterhus <timwolla@googlemail.com>
Date: Tue, 18 Dec 2018 15:17:21 +0000 (+0100)
Subject: Fix PHP 7.3 compatibility (#318)
X-Git-Tag: v4.7.1~10
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=a2fbcbe28e6a089ed887d2d57a7b4617dc7a362e;p=adminer.git

Fix PHP 7.3 compatibility (#318)
---

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));