rssを、特定ページ以下に対して発行する paraedit

  • ページ: Develop/Modification1
  • 投稿者: ぃぉぃぉ
  • 優先順位: 低
  • 状態: 完了
  • カテゴリー: 本体新機能
  • 投稿日: 2008-04-01 (火) 11:44:37
  • バージョン: 0.0.7

メッセージ paraedit

rssを、特定ページ以下に対して発行する paraedit

  • plugin/rss.inc.php
    	$base = isset($vars['base']) ? $vars['base'] : '';
    を宣言しておいてforeachのlist($time, $page) = ...直後辺りに
    		if (!empty($base)) {
    			if (strpos($page, $base) !== 0) {
    				continue;
    			}
    		}
    とする。rssのurlに&base=エンコードしたページ名 とすると、そのページ名から始まるページのみrssに出力される。

ヘッダは

// Usage: cmd=rss[&base=BASEPAGENAME][&ver=[0.91|1.0|2.0]] (Default: 0.91)

こんな感じかな。


  • ついでに、#rss(ページ名)でrssへのリンク作成を可能に。 -- ぃぉぃぉ 2008-04-07 (月) 17:46:37
  • うーん、ブロックタイプの仕様は検討の余地ありだな -- ぃぉぃぉ 2008-04-08 (火) 12:26:05
  • とりあえず、修正。make_linkにmake_ahrefという関数追加。そしてrssにインラインタイプ追加。


添付ファイル: filerss_0.inc.php 126件 [詳細] filemake_link.php 250件 [詳細] filerss.inc.php 131件 [詳細]

トップ 編集凍結差分バックアップ添付複製名前変更リロード 新規一覧 単語検索 最終更新  ヘルプ  最終更新のRSS
Last-modified: 2008-04-26 (土) 15:43:33 (4457d)