$base = strip_bracket($base); $pagename = strip_bracket($pagename);とする
else { if(!preg_match("/^$WikiName$$/",$pagename)) { $pagename = "[[$pagename]]"; } + if (is_page($pagename)) + $pagename = $page; + else + file_write(DATA_DIR,$page,"move to $pagename"); - file_write(DATA_DIR,$page,"move to $pagename"); file_write(DATA_DIR,$pagename,$postdata); }