From e3333082e8cd71e616bb368f587772eb03670e8d Mon Sep 17 00:00:00 2001 From: Astrologies Date: Wed, 1 Dec 2021 23:15:17 -0500 Subject: [PATCH] webcontextmanager force types --- globals/Dependencies/Web/WebContextManager.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/globals/Dependencies/Web/WebContextManager.php b/globals/Dependencies/Web/WebContextManager.php index d6e8efa..0982e0c 100644 --- a/globals/Dependencies/Web/WebContextManager.php +++ b/globals/Dependencies/Web/WebContextManager.php @@ -82,14 +82,14 @@ namespace Alphaland\Web { } } - public static function Redirect($url, $code = 302) + public static function Redirect(string $url, $code = 302) { http_response_code($code); header("Location: $url"); die(); } - public static function HttpGetPing($url, $timeout) //to see if a URL times out + public static function HttpGetPing(string $url, int $timeout) //to see if a URL times out { $curl_do = curl_init(); curl_setopt($curl_do, CURLOPT_URL, $url);