[phpMyAdmin Git] [phpmyadmin/phpmyadmin] d1c2c6: Fix error reported by PHPStan