From 658b1aa0c53e8877530d76e33380b382fe5f7762 Mon Sep 17 00:00:00 2001 From: Anika Henke Date: Fri, 23 Jan 2009 01:40:15 +0100 Subject: better styling of new diff header darcs-hash:20090123004015-f7d6d-814c0c3cb2abe0aa202b7e7b97cda6fc78ae9c56.gz --- inc/html.php | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'inc/html.php') diff --git a/inc/html.php b/inc/html.php index b9812d0a5..97a94e111 100644 --- a/inc/html.php +++ b/inc/html.php @@ -927,7 +927,7 @@ function html_diff($text='',$intro=true){ if ($l_info['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) $l_minor = 'class="minor"'; $l_head = ''. - $ID.' '.strftime($conf['dformat'],$l_rev).''. + $ID.' ['.strftime($conf['dformat'],$l_rev).']'. '
'.$l_user.' '.$l_sum; } @@ -941,7 +941,7 @@ function html_diff($text='',$intro=true){ if ($r_info['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) $r_minor = 'class="minor"'; $r_head = ''. - $ID.' '.strftime($conf['dformat'],$r_rev).''. + $ID.' ['.strftime($conf['dformat'],$r_rev).']'. '
'.$r_user.' '.$r_sum; }elseif($_rev = @filemtime(wikiFN($ID))){ $_info = getRevisionInfo($ID,$_rev,true); @@ -953,11 +953,11 @@ function html_diff($text='',$intro=true){ if ($_info['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) $r_minor = 'class="minor"'; $r_head = ''. - $ID.' '.strftime($conf['dformat'],$_rev).' '. - $lang['current']. + $ID.' ['.strftime($conf['dformat'],$_rev).'] '. + '('.$lang['current'].')'. '
'.$_user.' '.$_sum; }else{ - $r_head = '— '.$lang['current']; + $r_head = '— ('.$lang['current'].')'; } } -- cgit v1.2.3