X-Git-Url: http://git.osdn.net/view?p=pukiwiki%2Fpukiwiki.git;a=blobdiff_plain;f=plugin%2Frename.inc.php;h=867f0a7e4ac19bfc9e8ca1d3fa0b0ca2fa0fbbbd;hp=258eeba9b87457bf6bd6c9a8a2a6bd9405587da6;hb=8352664043be30e4d622bbd2e90b79853a536549;hpb=3fad7a8e1ad393665eda5f32deb70466aeb01a2a diff --git a/plugin/rename.inc.php b/plugin/rename.inc.php index 258eeba..867f0a7 100644 --- a/plugin/rename.inc.php +++ b/plugin/rename.inc.php @@ -60,14 +60,14 @@ function plugin_rename_action() } } -// ÊÑ¿ô¤ò¼èÆÀ¤¹¤ë +// 変数を取得する function plugin_rename_getvar($key) { global $vars; return isset($vars[$key]) ? $vars[$key] : ''; } -// ¥¨¥é¡¼¥á¥Ã¥»¡¼¥¸¤òºî¤ë +// エラーメッセージを作る function plugin_rename_err($err, $page = '') { global $_rename_messages; @@ -86,7 +86,7 @@ function plugin_rename_err($err, $page = '') return $msg; } -//Âè°ìÃʳ¬:¥Ú¡¼¥¸Ì¾¤Þ¤¿¤ÏÀµµ¬É½¸½¤ÎÆþÎÏ +//第一段階:ページ名または正規表現の入力 function plugin_rename_phase1($err = '', $page = '') { global $script, $_rename_messages; @@ -128,7 +128,7 @@ EOD; return $ret; } -//ÂèÆóÃʳ¬:¿·¤·¤¤Ì¾Á°¤ÎÆþÎÏ +//第二段階:新しい名前の入力 function plugin_rename_phase2($err = '') { global $script, $_rename_messages; @@ -174,7 +174,7 @@ EOD; return $ret; } -//¥Ú¡¼¥¸Ì¾¤È´ØÏ¢¤¹¤ë¥Ú¡¼¥¸¤òÎóµó¤·¡¢phase3¤Ø +//ページ名と関連するページを列挙し、phase3へ function plugin_rename_refer() { $page = plugin_rename_getvar('page'); @@ -190,7 +190,7 @@ function plugin_rename_refer() return plugin_rename_phase3($pages); } -//Àµµ¬É½¸½¤Ç¥Ú¡¼¥¸¤òÃÖ´¹ +//正規表現でページを置換 function plugin_rename_regex($arr_from, $arr_to) { $exists = array(); @@ -339,7 +339,7 @@ function plugin_rename_proceed($pages, $files, $exists) unlink($new); rename($old, $new); - // link¥Ç¡¼¥¿¥Ù¡¼¥¹¤ò¹¹¿·¤¹¤ë BugTrack/327 arino + // linkデータベースを更新する BugTrack/327 arino links_update($old); links_update($new); } @@ -373,12 +373,12 @@ function plugin_rename_proceed($pages, $files, $exists) $postdata[] = '-' . decode($old) . $_rename_messages['msg_arrow'] . decode($new) . "\n"; - // ¹¹¿·¤Î¾×ÆͤϥÁ¥§¥Ã¥¯¤·¤Ê¤¤¡£ + // 更新の衝突はチェックしない。 - // ¥Õ¥¡¥¤¥ë¤Î½ñ¤­¹þ¤ß + // ファイルの書き込み page_write(PLUGIN_RENAME_LOGPAGE, join('', $postdata)); - //¥ê¥À¥¤¥ì¥¯¥È + //リダイレクト $page = plugin_rename_getvar('page'); if ($page == '') $page = PLUGIN_RENAME_LOGPAGE;