Re: [Phpmyadmin-devel] October change in PMA_showMessage()