0) // if greater than zero, update indent after logging self::$indent_str = str_repeat(' ', self::$indent_level * 2); self::$last = $thistime; self::$current = $absoluteMS; return($thistime); } static function get_time() { return(1000*(microtime(true) - self::$start)); } static function start() { self::$start = self::$last = microtime(true); } }