public function stop_request_timer() {
		if ( ! is_null( $this->request_start_time ) ) {
			$this->request_time += microtime( true ) - $this->request_start_time;
		}
		$this->request_start_time = null;
	}
public function stop_request_timer() {
		if ( ! is_null( $this->request_start_time ) ) {
			$this->request_time += microtime( true ) - $this->request_start_time;
		}
		$this->request_start_time = null;
	}
public function stop_request_timer ( ) { if ( ! is_null ( $ this -> request_start_time ) ) { $ this -> request_time += microtime ( true ) - $ this -> request_start_time ; } $ this -> request_start_time = null ; }
Stop this logger's request timer
Stop this logger s request timer