plugin/hr.inc.php

   1 <?php
   2 /////////////////////////////////////////////////
   3 // PukiWiki - Yet another WikiWikiWeb clone.
   4 //
   5 // $Id: hr.inc.php,v 1.1 2003/07/03 05:08:13 arino Exp $
   6 //
   7
   8 function plugin_hr_convert()
   9 {
  10         return '<hr class="short_line" />';
  11 }
  12 ?>