- $tmp = str_replace('%type', htmlspecialchars($val['type']), $tmp);
- $tmp = str_replace('%descr', htmlspecialchars($val['descr']), $tmp);
- $tmp = str_replace('%default', htmlspecialchars($val['default']), $tmp);
+ $tmp = str_replace('%type', htmlspecialchars($val['type'], ENT_COMPAT | ENT_HTML401, "ISO-8859-1"), $tmp);
+ $tmp = str_replace('%descr', htmlspecialchars($val['descr'], ENT_COMPAT | ENT_HTML401, "ISO-8859-1"), $tmp);
+ $tmp = str_replace('%default', htmlspecialchars($val['default'], ENT_COMPAT | ENT_HTML401, "ISO-8859-1"), $tmp);