Re: [Phpmyadmin-devel] htmlspecialchars for gettext output?