[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 5f5515: Fix doc comments