[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7aec65: Fix an issue reported by PHPStan