Is there a way mananger miliseconds using PHP? I am working on a car racing site and I need to store the times which are normally hh:mm:ss:ms...
