[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 964787: Update doc comment