From bfa83504fd0bb7ca7abcf149bf98ce5e97a5bfd6 Mon Sep 17 00:00:00 2001
From: John Campbell <jcampbell1@gmail.com>
Date: Fri, 18 Oct 2013 23:27:47 -0400
Subject: [PATCH] Replacing month numbers with abbreviations to be a bit more
 international

---
 index.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/index.php b/index.php
index 0ba221d..99ef11b 100644
--- a/index.php
+++ b/index.php
@@ -365,8 +365,9 @@ $(function(){
 		return $html;
 	}
 	function formatTimestamp(unix_timestamp) {
+		var m = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec'];
 		var d = new Date(unix_timestamp*1000);
-		return [d.getMonth()+1,'/',d.getDate(),'/',d.getFullYear()," ",
+		return [m[d.getMonth()],' ',d.getDate(),', ',d.getFullYear()," ",
 			(d.getHours() % 12 || 12),":",(d.getMinutes() < 10 ? '0' : '')+d.getMinutes(),
 			" ",d.getHours() >= 12 ? 'PM' : 'AM'].join('');
 	}