includes/wikiengine/Render/Plain/Heading.php
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