From f4607d763c7ea82e7444a2302dff9b19271e8528 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sat, 15 Feb 2025 17:02:21 +0100
Subject: [PATCH] Ignore undefined property PHP warning

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

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