php library Timer Class