--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/includes/wikiengine/Render/Plain/Heading.php	Wed Jun 13 16:07:17 2007 -0400
@@ -0,0 +1,14 @@
+<?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