plugin/rss10.inc.php

   1 <?php
   2 // PukiWiki - Yet another WikiWikiWeb clone
   3 // rss10.inc.php
   4 // Copyright 2003-2017 PukiWiki Development Team
   5 //
   6 // RSS 1.0 plugin - had been merged into rss plugin
   7
   8 function plugin_rss10_action()
   9 {
  10         pkwk_headers_sent();
  11         header('Status: 301 Moved Permanently');
  12         header('Location: ' . get_base_uri(PKWK_URI_ROOT) . '?cmd=rss&ver=1.0'); // HTTP
  13         exit;
  14 }