[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 0a31c8: Update PHPDoc.