[phpMyAdmin Git] [phpmyadmin/phpmyadmin] c4421d: Improve type hint