Jenkins REST接口 - 时间戳格式

我尝试构建一个小网页,以获取有关我的Jenkins Jobs和Builds的一些信息.API非常好,所以获取信息非常简单.

但是,如果我请求构建的时间戳 - 我得到的东西我无法处理.

例如,我有在09.04.2014 08:32:31(在Jenkins Web GUI中)完成的构建.此日期的返回时间戳是"1397025151000".

如果我通过PHP将此时间戳转换为日期,我会得到以下信息:

echo (date("H:i:s - m.d.y", 1397025151000));
// result: 00:50:00 - 10.14.06

我无法了解詹金斯的时间戳 - 所以也许你可以帮助我.

谢谢