[phpMyAdmin Git] [phpmyadmin/phpmyadmin] bba718: Fix type comment