Lots of useful tools about time processing in php