print <<_EOF_;
</body>
+<script type="text/javascript">
+var elements = document.getElementsByClassName('timestamp');
+var i;
+for (i = 0; i < elements.length; i++) {
+ var s = elements[i].textContent;
+ var d = new Date(Date.parse(s));
+ elements[i].textContent = d.toString();
+ elements[i].setAttribute('title', d.toUTCString());
+}
+</script>
</html>
_EOF_
@all_lang = sort @all_lang;
print "<div>\n";
-print "<p>Last update: ".`date -u +'%Y-%m-%d %H:%M:%S'`." UTC</p>\n";
+my $date = `date -u +'%FT%TZ'`;
+chomp $date;
+print "<p>Last update: <span class='timestamp'>$date</span></p>\n";
print "<table border=\"1\" width=\"100%\" cellspacing=\"0\" cellpadding=\"1\">\n\n";
print "<colgroup span=\"1\" width=\"0*\" />\n";