PukiWiki/PageRedirection の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• PukiWiki/PageRedirection へ行く。
• PukiWiki/PageRedirection の差分を削除

#author("2016-11-18T01:52:11+09:00","","")
(この機能は将来リリースされる PukiWiki 1.5.2 から有効になります)

*ページのリダイレクト機能 [#b63ec74f]

特定の名前のページへのアクセスを、一定のルールを使って別のページにリダイレクトすることができます。


** 設定方法 [#w4fe3aad]

pukiwiki.ini.php で $page_redirect_rules に、ページ名変換ルールを定義します。(旧ページを表す正規表現パターン) => (新ページ名) の書式で設定します。preg_replace() での置換処理がそのまま適用されます。

 $page_redirect_rules = array(
         '#^FromProject($|(/(.+)$))#' => 'ToProject$1',
         '#^FromProject($|(/(.+)$))#' => function($matches) { return 'ToProject' . $matches[1]; },
 );

- 値に無名関数 (function) を指定できるのはPHP5.3以降になります。
- 


#comment