a time library for PHP