plugin/rss10.inc.php

   1 <?php
   2 // RSS 1.0 plugin - had been merged into rss plugin
   3 // $Id: rss10.inc.php,v 1.16 2004/12/02 11:34:25 henoheno Exp $
   4
   5 function plugin_rss10_action()
   6 {
   7         pkwk_headers_sent();
   8         header('Status: 301 Moved Permanently');
   9         header('Location: ' . $script . '?cmd=rss&ver=1.0'); // HTTP
  10         exit;
  11 }
  12 ?>