33 |
$s_page = htmlspecialchars($page); |
$s_page = htmlspecialchars($page); |
34 |
|
|
35 |
$menu = array( |
$menu = array( |
36 |
"<li>$_msg_addline</li>", |
'<li>' . $_msg_addline . '</li>', |
37 |
"<li>$_msg_delline</li>" |
'<li>' . $_msg_delline . '</li>' |
38 |
); |
); |
39 |
|
|
40 |
$is_page = is_page($page); |
$is_page = is_page($page); |
41 |
if ($is_page) { |
if ($is_page) { |
42 |
$menu[] = ' <li>' . str_replace('$1', "<a href=\"$script?$r_page\">$s_page</a>", $_msg_goto) . '</li>'; |
$menu[] = ' <li>' . str_replace('$1', '<a href="' . $script . '?' . $r_page . '">' . |
43 |
|
$s_page . '</a>', $_msg_goto) . '</li>'; |
44 |
} else { |
} else { |
45 |
$menu[] = ' <li>' . str_replace('$1', $s_page,$_msg_deleted) . '</li>'; |
$menu[] = ' <li>' . str_replace('$1', $s_page, $_msg_deleted) . '</li>'; |
46 |
} |
} |
47 |
|
|
48 |
$filename = DIFF_DIR . encode($page) . '.txt'; |
$filename = DIFF_DIR . encode($page) . '.txt'; |
49 |
if (file_exists($filename)) { |
if (file_exists($filename)) { |
|
$diffdata = htmlspecialchars(join('', file($filename))); |
|
|
|
|
|
// Cut diff markers ('+' or '-' or ' ') |
|
|
$diffdata = preg_replace('/^\-(.*)$/m', '<span class="diff_removed">$1</span>', $diffdata); |
|
|
$diffdata = preg_replace('/^\+(.*)$/m', '<span class="diff_added" >$1</span>', $diffdata); |
|
|
$diffdata = preg_replace('/^ (.*)$/m', '$1', $diffdata); |
|
|
|
|
50 |
if (! PKWK_READONLY) { |
if (! PKWK_READONLY) { |
51 |
$menu[] = '<li><a href="' . $script . '?cmd=diff&action=delete&page=' . |
$menu[] = '<li><a href="' . $script . '?cmd=diff&action=delete&page=' . |
52 |
$r_page . '">"' . str_replace('$1', $s_page, $_title_diff_delete) . '</a></li>'; |
$r_page . '">' . str_replace('$1', $s_page, $_title_diff_delete) . '</a></li>'; |
53 |
} |
} |
54 |
|
$msg = '<pre>' . diff_style_to_css(htmlspecialchars(join('', file($filename)))) . '</pre>' . "\n"; |
|
$msg = '<pre>' . $diffdata . '</pre>' . "\n"; |
|
55 |
} else if ($is_page) { |
} else if ($is_page) { |
56 |
$diffdata = trim(htmlspecialchars(join('', get_source($page)))); |
$diffdata = trim(htmlspecialchars(join('', get_source($page)))); |
57 |
$msg = '<pre><span class="diff_added">' . $diffdata . '</span></pre>' . "\n"; |
$msg = '<pre><span class="diff_added">' . $diffdata . '</span></pre>' . "\n"; |