1 <?php

     2 

     3 class Text_Wiki_Render_Plain_Heading extends Text_Wiki_Render {

     4     

     5     function token($options)

     6     {

     7         if ($options['type'] == 'end') {

     8             return "\n\n";

     9         } else {

    10             return "\n";

    11         }

    12     }

    13 }

    14 ?>