[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 069d8e: Fix error found by PHPStan