Re: [Phpmyadmin-devel] Documentation question and AjaxEnable's default value