git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 56e2b000 authored by mmn's avatar mmn

Issue #279 raises the point of missing newlines

parent a75b1df6
......@@ -2611,6 +2611,9 @@ function common_log_delta($comment=null)
function common_strip_html($html, $trim=true, $save_whitespace=false)
{
// first replace <br /> with \n
$html = preg_replace('/\<(\s*)?br(\s*)?\/?(\s*)?\>/i', "\n", $html);
// then, unless explicitly avoided, remove excessive whitespace
if (!$save_whitespace) {
$html = preg_replace('/\s+/', ' ', $html);
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment