plugin/rss10.inc.php

   1 <?php
   2 /////////////////////////////////////////////////
   3 // PukiWiki - Yet another WikiWikiWeb clone.
   4 //
   5 // $Id: rss10.inc.php,v 1.13 2004/11/08 12:01:37 henoheno Exp $
   6 //
   7 // This plugin had been merged into rss plugin.
   8 // Please use it instead of.
   9
  10 // Compat
  11 function plugin_rss10_action()
  12 {
  13         global $vars;
  14         exist_plugin('rss') or die('rss plugin not found');
  15
  16         $vars['ver'] = '1.0';
  17         plugin_rss_action();
  18 }
  19 ?>