[pmwiki-users] extra lines

[Hans]

By default PmWiki eats any extra lines inserted.
One empty line will start a new paragraph.
And linebreaks are ignored unless made with specific markup
\\ or [[<<]].

to change this I added to config.php:

  $HTMLPNewline = '<br />';
  DisableMarkup('blank');

The first works fine, but the second does not result in any extra
blank lines appearing.
Do I need to rewrite Markup('blank') so PmWiki will render the extra
lines as extra vertical space (1 line height per line)?

I try to make pmwiki behave more "intuitively" for lay users, who
expect a space meaning a space.


-- 
Best,
 Hans