From: Jakub Vrana <jakub@vrana.cz>
Date: Sat, 15 Feb 2025 16:02:21 +0000 (+0100)
Subject: Ignore undefined property PHP warning
X-Git-Tag: v4.16.0~101
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=f4607d763c7ea82e7444a2302dff9b19271e8528;p=adminer.git

Ignore undefined property PHP warning
---

diff --git a/adminer/include/version.inc.php b/adminer/include/version.inc.php
index a156a75c..63904837 100644
--- a/adminer/include/version.inc.php
+++ b/adminer/include/version.inc.php
@@ -2,7 +2,7 @@
 $VERSION = "4.9.1-dev";
 
 function adminer_errors($errno, $errstr) {
-	return !!preg_match('~^(Trying to access array offset on( value of type)? null|Undefined array key)~', $errstr);
+	return !!preg_match('~^(Trying to access array offset on( value of type)? null|Undefined (array key|property))~', $errstr);
 }
 
 error_reporting(6135); // errors and warnings