[Phpmyadmin-devel] htmlspecialchars in PMA_Error