diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2025-01-25 09:14:08 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2025-01-25 09:14:08 +0100 |
| commit | 22b74b0a5790360d81088a83addab1f98b7f7947 (patch) | |
| tree | 2b08182a24cef248ac7ec9bb45c375cb33eb2f55 /lib/Minz/Request.php | |
| parent | 68497030f988cac483a67b27b96d2ac90a54856e (diff) | |
Improve cURL proxy options (#7231)
3 is now used for CURLPROXY_HTTPS2
https://github.com/curl/curl/blob/f07612cd9ae1ec50b9bedd749171ad75203c9e7e/include/curl/curl.h#L789
Related to https://github.com/FreshRSS/FreshRSS/issues/7209
Diffstat (limited to 'lib/Minz/Request.php')
| -rw-r--r-- | lib/Minz/Request.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Minz/Request.php b/lib/Minz/Request.php index 3304ad480..a5d599a45 100644 --- a/lib/Minz/Request.php +++ b/lib/Minz/Request.php @@ -120,6 +120,10 @@ class Minz_Request { return $value; } + public static function paramIntNull(string $key): ?int { + return is_numeric(self::$params[$key] ?? null) ? (int)self::$params[$key] : null; + } + public static function paramInt(string $key): int { if (!empty(self::$params[$key]) && is_numeric(self::$params[$key])) { return (int)self::$params[$key]; |