Re: [webkit-dev] JSON.stringify(Date) losts the milliseconds information