}
/* All HTML special characters are 7 bit and can be replaced first */
- $string = htmlspecialchars ($string);
+
+ /* NOTE Marc Groot Koerkamp: This is the wrong place to do
+ htmlspecialchars, It should be done before the echo.
+ By doing it here we get double htmlspecialchars calls which translates
+ < => < => &lt;
+ */
+ //$string = htmlspecialchars ($string);
$charset = strtolower($charset);
$languages['he_IL']['DIR'] = 'rtl';
$languages['he']['ALIAS'] = 'he_IL';
+$languages['vi_VN']['NAME'] = 'Vietnamese';
+$languages['vi_VN']['CHARSET'] = 'utf-8';
+$languages['vi']['ALIAS'] = 'vi_VN';
/* Detect whether gettext is installed. */
$gettext_flags = 0;