[phpMyAdmin Git] [phpmyadmin/phpmyadmin] d3ce67: Fix some errors found by PHPStan