Show military time instead of pretty date

bookmarklet

javascript:(function() { function pad(num) { return ("0" + num.toString()).slice(-2); } $('time').each(function() { var $this = $(this), d = new Date($this.attr('datetime')), str = pad(d.getMonth() + 1) + "/" + pad(d.getDate()) + " " + pad(d.getHours()) + ":" + pad(d.getMinutes()); $this.text(str); }); })();

militarify.js

(function() {
  function pad(num) {
    return ("0" + num.toString()).slice(-2);
  }
  $('time').each(function() {
    var $this = $(this),
        d = new Date($this.attr('datetime')),
        str = pad(d.getMonth() + 1) + "/" + pad(d.getDate()) + " " + pad(d.getHours()) + ":" + pad(d.getMinutes());
    $this.text(str);
  });
})();