changeset 1027 | 98c052fc3337 |
parent 1026 | f0431eb8161e |
child 1028 | dde4416dea00 |
--- a/includes/wikiengine/Render/Plain/Heading.php Sun Jun 21 00:16:21 2009 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,14 +0,0 @@ -<?php - -class Text_Wiki_Render_Plain_Heading extends Text_Wiki_Render { - - function token($options) - { - if ($options['type'] == 'end') { - return "\n\n"; - } else { - return "\n"; - } - } -} -?> \ No newline at end of file