Re: [Phpmyadmin-devel] a PHP 5.1.2 bug?