From e6059930ceff6bdc530f5ae01879f53b6380894f Mon Sep 17 00:00:00 2001
From: Chris Morgan <me@chrismorgan.info>
Date: Sat, 8 Jan 2022 16:37:23 +1100
Subject: [PATCH] Change the time markup
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

I didn’t much like the old. This is still imperfect, but somewhat
better. (Note that javascsript-timezone clobbers the title attribute.)
---
 gitweb.cgi | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

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;
 }
-- 
2.42.0