php_bettertime is a PHP5 dynamic extension that provides an interface to the POSIX clock_gettime and clock_getres functions.