From 2f76d860694e24dc63eaba9f520f72b62f2bdf28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mr=C2=B7x?= Date: Fri, 27 Aug 2021 16:54:29 +0800 Subject: [PATCH] =?UTF-8?q?=E6=94=B9=E5=90=8D?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- http-server/Message/Request.php | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/http-server/Message/Request.php b/http-server/Message/Request.php index 536a9c88..b442967f 100644 --- a/http-server/Message/Request.php +++ b/http-server/Message/Request.php @@ -3,6 +3,7 @@ namespace Server\Message; use BadMethodCallException; +use JetBrains\PhpStorm\Pure; use Psr\Http\Message\RequestInterface; use Psr\Http\Message\UriInterface; @@ -60,6 +61,15 @@ class Request implements RequestInterface } + /** + * @return string|array|null + */ + #[Pure] public function getStartTime(): string|array|null + { + return $this->getHeaderLine('request_time_float'); + } + + /** * @param $name * @param null $default