diff options
author | Johannes Winkelmann <jw@smts.ch> | 2006-08-10 21:40:11 +0000 |
---|---|---|
committer | Johannes Winkelmann <jw@smts.ch> | 2006-08-10 21:40:11 +0000 |
commit | 2066e69f45c4c9f1a01d6323aedff16af0816818 (patch) | |
tree | c5a51f840173998686e4d480217cc90dec82b90e | |
parent | f7c9c6e30e655c6f09c65dd37363551b86568911 (diff) | |
download | webtools-2066e69f45c4c9f1a01d6323aedff16af0816818.tar.gz webtools-2066e69f45c4c9f1a01d6323aedff16af0816818.tar.xz |
timeline: introduce proper anchors for wiki diff links
-rwxr-xr-x | timeline/tlcacher.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/timeline/tlcacher.php b/timeline/tlcacher.php index 1a407ac..d157dd0 100755 --- a/timeline/tlcacher.php +++ b/timeline/tlcacher.php @@ -199,7 +199,9 @@ if ($chline != "") { preg_match('/(..\:..)/',$date,$matches); $time = $matches[0]; $date = date("Y-m-d", $tstamp); - $page_diff = trim(str_replace("]]", "?action=diff#$date $time|diff]]", $page)); + + $action = "?action=diff#" . urlencode($date . " " . $time) . "|diff"; + $page_diff = trim(str_replace("]]", $action."]]", $page)) $description = "Wiki page $page edited $user ($page_diff)"; if ($tstamp > $last_wiki) { $events[] = array( 'cache_id' => $tstamp, 'tstamp' => $tstamp, 'icon' => $icon, 'date' => $date, |