A light static benchmark timer class for PHP