Change the time markup

[gitweb] / gitweb.cgi
diff --git a/gitweb.cgi b/gitweb.cgi

index 515d80cbded1e58b0ed9d2f5e34280752b23f4df..43fcbc748718937087a161e1d9cfa138b1ceb4b7 100755 (executable)
--- a/gitweb.cgi
+++ b/gitweb.cgi
@@ -4432,7 +4432,7 @@ sub git_print_page_nav {
         print "<div class=\"page_nav\">\n" .
                 (join " | ",
                  map { $_ eq $current ?
         print "<div class=\"page_nav\">\n" .
                 (join " | ",
                  map { $_ eq $current ?
-                      $_ : $cgi->a({-href => ($arg{$_}{_href} ? $arg{$_}{_href} : href(%{$arg{$_}}))}, "$_")
+                      $cgi->span({-class => "current"}, $_) : $cgi->a({-href => ($arg{$_}{_href} ? $arg{$_}{_href} : href(%{$arg{$_}}))}, "$_")
                  } @navs);
         print "<br/>\n$extra" if defined $extra; # pager or formats
         print "</div>\n";
                  } @navs);
         print "<br/>\n$extra" if defined $extra; # pager or formats
         print "</div>\n";
@@ -4540,18 +4540,14 @@ sub git_print_section {
  
  sub format_timestamp_html {
         my $date = shift;
  
  sub format_timestamp_html {
         my $date = shift;
-       my $strtime = $date->{'rfc2822'};
  
         my (undef, undef, $datetime_class) =
                 gitweb_get_feature('javascript-timezone');
  
         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) {
         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;
  }
  
         return $strtime;
  }