CVS リポジトリの参照
Diff of /pukiwiki/pukiwiki/plugin/rss10.inc.php
 Parent Directory
|  Revision Log
|  Revision Graph
|  Patch
| 1 |
<?php |
<?php |
| 2 |
///////////////////////////////////////////////// |
// RSS 1.0 plugin - had been merged into rss plugin |
|
// PukiWiki - Yet another WikiWikiWeb clone. |
|
|
// |
|
| 3 |
// $Id$ |
// $Id$ |
|
// |
|
|
// This plugin had been merged into rss plugin. |
|
|
// Please use it instead of. |
|
|
|
|
|
// Compat |
|
| 4 |
function plugin_rss10_action() |
function plugin_rss10_action() |
| 5 |
{ |
{ |
| 6 |
global $vars; |
header('Status: 301 Moved Permanently'); |
| 7 |
exist_plugin('rss') or die('rss plugin not found'); |
header('Location: ' . $script . '?cmd=rss&ver=1.0'); // HTTP |
| 8 |
|
exit; |
|
$vars['ver'] = '1.0'; |
|
|
plugin_rss_action(); |
|
| 9 |
} |
} |
| 10 |
?> |
?> |
|
|
Legend:
| Removed from v.1.13 |
|
| changed lines |
| |
Added in v.1.14 |
|
|
| 
Parent Directory
Revision Log
Revision Graph
Patch