[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 9d0c74: Add missing documentation