2 /////////////////////////////////////////////////
3 // PukiWiki - Yet another WikiWikiWeb clone.
5 // $Id: diff.inc.php,v 1.1 2003/01/27 05:38:44 panda Exp $
7 //¥Ú¡¼¥¸¤Îº¹Ê¬¤òɽ¼¨¤¹¤ë
8 function plugin_diff_action()
10 global $script,$get,$hr;
11 global $_msg_notfound,$_msg_goto,$_msg_addline,$_msg_delline,$_title_diff;
13 $r_page = rawurlencode($get['page']);
14 $s_page = htmlspecialchars($get['page']);
15 $s_name = strip_bracket($s_page);
20 if (is_page($get['page'])) {
21 $link = str_replace('$1',"<a href=\"$script?$r_page\">$s_name</a>",$_msg_goto);
24 <li>$_msg_addline</li>
25 <li>$_msg_delline</li>
32 if (file_exists(DIFF_DIR.encode($get['page']).'.txt')) {
33 $diffdata = htmlspecialchars(join('',file(DIFF_DIR.encode($get['page']).'.txt')));
34 $diffdata = preg_replace('/^(\-)(.*)$/m','<span class="diff_removed"> $2</span>',$diffdata);
35 $diffdata = preg_replace('/^(\+)(.*)$/m','<span class="diff_added"> $2</span>',$diffdata);
36 $diffdata = trim($diffdata);
37 $body .= "<pre>$diffdata</pre>\n";
39 else if (is_page($get['page'])) {
40 $diffdata = trim(htmlspecialchars(join('',get_source($get['page']))));
41 $body .= "<pre><span class=\"diff_added\">$diffdata</span></pre>\n";
45 $body = $_msg_notfound;
48 return array('msg'=>$msg,'body'=>$body);