Make UTC times into local times for eroman@

static/js/common/utc-to-local-time.js

+(function(doc) {
+
+function filter(list, predicate) {
+  var filtered = [];
+  for (var i = 0; i < list.length; ++i) {
+    if (predicate(list[i]))
+      filtered.push(list[i]);
+  }
+  return filtered;
+}
+
+function hasBorder(el) {
+  return !!el.border;
+}
+
+function elementType(node) {
+  return node.nodeType == 1;  // Node.ELEMENT_NODE
+}
+
+var indexOf = Array.prototype.indexOf;
+function secondKid(el) {
+  return indexOf.call(filter(el.parentNode.childNodes, elementType), el) == 1;
+}
+
+var on = window.attachEvent ? 'on' : '';
+(window.addEventListener || window.attachEvent)(on + 'load', function() {
+  var tables = filter(doc.getElementsByTagName('table'), hasBorder);
+  if (!tables.length)
+    return;
+
+  var whens = filter(tables[0].getElementsByTagName('td'), secondKid).slice(1);
+  if (!whens.length)
+    return;
+
+  for (var i = 0; i < whens.length; ++i) {
+    var when = whens[i];
+    var time = new Date(when.innerText || when.textContent).toLocaleString();
+    when.textContent = when.innerText = time.replace(':00 ', '');
+  }
+});
+
+}(this.document));