diff options
| -rw-r--r-- | inc/html.php | 6 | ||||
| -rw-r--r-- | inc/lang/en/lang.php | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/inc/html.php b/inc/html.php index 3398e8fb9..1b9a8d680 100644 --- a/inc/html.php +++ b/inc/html.php @@ -991,6 +991,12 @@ function html_diff($text='',$intro=true){ $tdf = new TableDiffFormatter(); if($intro) print p_locale_xhtml('diff'); + + if (!$text) { + ptln('<div class="level1"><p>'); + ptln(' <a class="wikilink1" href="'.wl($ID, 'do=diff&rev2[]='.$l_rev.'&rev2[]='.$r_rev).'">'.$lang['difflink'].'</a>'); + ptln('</p></div>'); + } ?> <table class="diff"> <tr> diff --git a/inc/lang/en/lang.php b/inc/lang/en/lang.php index 802a90360..c9d00eba2 100644 --- a/inc/lang/en/lang.php +++ b/inc/lang/en/lang.php @@ -163,6 +163,7 @@ $lang['current'] = 'current'; $lang['yours'] = 'Your Version'; $lang['diff'] = 'Show differences to current revisions'; $lang['diff2'] = 'Show differences between selected revisions'; +$lang['difflink'] = 'Link to this diff output'; $lang['line'] = 'Line'; $lang['breadcrumb'] = 'Trace'; $lang['youarehere'] = 'You are here'; |