diff options
| author | Máté Kocsis <kocsismate@woohoolabs.com> | 2020-07-28 23:00:44 +0200 |
|---|---|---|
| committer | Máté Kocsis <kocsismate@woohoolabs.com> | 2020-07-30 14:26:45 +0200 |
| commit | 0d330e1a022d536de8a679d11dc8ec6f9fd64be3 (patch) | |
| tree | a4b93785096169cca4ba3bb9109040311b374944 /ext/session/session.stub.php | |
| parent | 41de27ecc239e3a7de50446be297e288bb934505 (diff) | |
| download | php-git-0d330e1a022d536de8a679d11dc8ec6f9fd64be3.tar.gz | |
Add a few missing parameter types in stubs
Related to GH-5627
Diffstat (limited to 'ext/session/session.stub.php')
| -rw-r--r-- | ext/session/session.stub.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ext/session/session.stub.php b/ext/session/session.stub.php index 336a35b731..e70669d5a8 100644 --- a/ext/session/session.stub.php +++ b/ext/session/session.stub.php @@ -39,12 +39,24 @@ function session_register_shutdown(): void {} /** @alias session_write_close */ function session_commit(): bool {} +/** + * @param callable|object $open + * @param callable|bool $close + * @param callable $read + * @param callable $write + * @param callable $destroy + * @param callable $gc + * @param callable $create_sid + * @param callable $validate_sid + * @param callable $update_timestamp + */ function session_set_save_handler($open, $close = UNKNOWN, $read = UNKNOWN, $write = UNKNOWN, $destroy = UNKNOWN, $gc = UNKNOWN, $create_sid = UNKNOWN, $validate_sid = UNKNOWN, $update_timestamp = UNKNOWN): bool {} function session_cache_limiter(?string $cache_limiter = null): string|false {} function session_cache_expire(?int $new_cache_expire = null): int|false {} +/** @param int|array $lifetime_or_options */ function session_set_cookie_params($lifetime_or_options, string $path = UNKNOWN, string $domain = "", ?bool $secure = null, ?bool $httponly = null): bool {} function session_start(array $options = []): bool {} |
