[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 3d3010: Fix an issue reported by Psalm