return $str;
}
+# Encode for output in html. Spaces converted to
+#
+# Example: <option value="12">~foo.htmlnbsp~</option>
+function enc_htmlnbsp($str) {
+ $str = enc_html($str);
+ $str = str_replace(' ', ' ', $str);
+ return $str;
+}
+
# HTML attribute.
#
$out .= '>';
- $out .= enc_html($display);
+ $out .= enc_htmlnbsp($display);
$out .= "</option>\n";
}