[phpMyAdmin Git] [phpmyadmin/phpmyadmin] a1a778: Fix some issues reported by PHPStan