From: Chris Morgan <me@chrismorgan.info>
Date: Sat, 8 Jan 2022 05:37:23 +0000 (+1100)
Subject: Change the time markup
X-Git-Url: https://git.chrismorgan.info/gitweb/commitdiff_plain/e6059930ceff6bdc530f5ae01879f53b6380894f

Change the time markup

I didn’t much like the old. This is still imperfect, but somewhat
better. (Note that javascsript-timezone clobbers the title attribute.)
---

diff --git a/gitweb.cgi b/gitweb.cgi
index 1de74b6..43fcbc7 100755
--- a/gitweb.cgi
+++ b/gitweb.cgi
@@ -4540,18 +4540,14 @@ sub git_print_section {
 
 sub format_timestamp_html {
 	my $date = shift;
-	my $strtime = $date->{'rfc2822'};
 
 	my (undef, undef, $datetime_class) =
 		gitweb_get_feature('javascript-timezone');
+	my $strtime = qq!<time datetime="$date->{'iso-8601'}" title="$date->{'iso-tz'}"!;
 	if ($datetime_class) {
-		$strtime = qq!<span class="$datetime_class">$strtime</span>!;
+		$strtime .= qq! class="$datetime_class"!;
 	}
-
-	my $localtime_format = '(%02d:%02d %s)';
-	$strtime .= ' ' .
-	            sprintf($localtime_format,
-	                    $date->{'hour_local'}, $date->{'minute_local'}, $date->{'tz_local'});
+	$strtime .= qq!>$date->{'rfc2822'}</time>!;
 
 	return $strtime;
 }