Ignore undefined property PHP warning

diff --git a/adminer/include/version.inc.php b/adminer/include/version.inc.php
index a156a75c3c588064ffae1bf93133f832aaeb0510..639048375eb566563690be542ca7ccc6030649b8 100644 (file)
--- 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