JavaScript で UNIX time を変換 2

http://d.hatena.ne.jp/ub-pnr/20110601/1306908663 がどうこう書いてたら
@azu_re さんに
「DateをtoStringした結果。表示形式を変えるなら、まあ普通にdate.get*を使うべきですね。」
(http://twitter.com/azu_re/statuses/76518398930067456)
と言われた。

日付はゼロパディング、月名は英語表記のままにしたかったので下のようにしてみた。

function convertTime(u) {
  function paddingZero(n) {
    return n > 9 ? n : '0' + n;
  }

  var t = new Date(u * 1000);
  t.setTime(t.getTime() + (60 * 60 * 1000));

  var months = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec'];

  var year  = t.getFullYear(),
      month = months[t.getMonth()],
      date  = paddingZero(t.getDate()),
      hour  = paddingZero(t.getHours()),
      min   = paddingZero(t.getMinutes()),
      sec   = paddingZero(t.getSeconds());

  var pubdate = month + ' ' + date + ', ' + year + ' ' + hour + ':' + min + ':' + sec;

  return pubdate;
}

一応動いてはいる。
(16:53)ちょっと直した。

参考：https://gist.github.com/1005938