Re: [Phpmyadmin-devel] bug #4527