+# Encode for output in html. Converts newlines to <br />
+#
+# Example: <p>~foo.html~</p>
+function enc_htmlbr($str) {
+ $str = str_replace('&', '&', $str);
+ $str = str_replace('<', '<', $str);
+ $str = str_replace('>', '>', $str);
+ $str = str_replace("\n", "<br />\n", $str);
+ return $str;
+}
+
+