[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 9f9778: Update PHPDoc.