1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
|
<?php
/** @generate-class-entries */
/**
* @var int
* @cvalue php_session_disabled
*/
const PHP_SESSION_DISABLED = UNKNOWN;
/**
* @var int
* @cvalue php_session_none
*/
const PHP_SESSION_NONE = UNKNOWN;
/**
* @var int
* @cvalue php_session_active
*/
const PHP_SESSION_ACTIVE = UNKNOWN;
/** @refcount 1 */
function session_name(?string $name = null): string|false {}
/** @refcount 1 */
function session_module_name(?string $module = null): string|false {}
/** @refcount 1 */
function session_save_path(?string $path = null): string|false {}
function session_id(?string $id = null): string|false {}
/** @refcount 1 */
function session_create_id(string $prefix = ""): string|false {}
function session_regenerate_id(bool $delete_old_session = false): bool {}
function session_decode(string $data): bool {}
/** @refcount 1 */
function session_encode(): string|false {}
function session_destroy(): bool {}
function session_unset(): bool {}
function session_gc(): int|false {}
/**
* @return array<string, mixed>
* @refcount 1
*/
function session_get_cookie_params(): array {}
function session_write_close(): bool {}
function session_abort(): bool {}
function session_reset(): bool {}
function session_status(): int {}
function session_register_shutdown(): void {}
/** @alias session_write_close */
function session_commit(): bool {}
/**
* @param callable|object $open
* @param callable|bool $close
*/
function session_set_save_handler(
$open,
$close = UNKNOWN,
callable $read = UNKNOWN,
callable $write = UNKNOWN,
callable $destroy = UNKNOWN,
callable $gc = UNKNOWN,
?callable $create_sid = null,
?callable $validate_sid = null,
?callable $update_timestamp = null
): bool {}
/** @refcount 1 */
function session_cache_limiter(?string $value = null): string|false {}
function session_cache_expire(?int $value = null): int|false {}
function session_set_cookie_params(array|int $lifetime_or_options, ?string $path = null, ?string $domain = null, ?bool $secure = null, ?bool $httponly = null): bool {}
function session_start(array $options = []): bool {}
interface SessionHandlerInterface
{
/** @tentative-return-type */
public function open(string $path, string $name): bool;
/** @tentative-return-type */
public function close(): bool;
/** @tentative-return-type */
public function read(string $id): string|false;
/** @tentative-return-type */
public function write(string $id, string $data): bool;
/** @tentative-return-type */
public function destroy(string $id): bool;
/** @tentative-return-type */
public function gc(int $max_lifetime): int|false;
}
interface SessionIdInterface
{
/** @tentative-return-type */
public function create_sid(): string;
}
interface SessionUpdateTimestampHandlerInterface
{
/** @tentative-return-type */
public function validateId(string $id): bool;
/** @tentative-return-type */
public function updateTimestamp(string $id, string $data): bool;
}
class SessionHandler implements SessionHandlerInterface, SessionIdInterface
{
/** @tentative-return-type */
public function open(string $path, string $name): bool {}
/** @tentative-return-type */
public function close(): bool {}
/** @tentative-return-type */
public function read(string $id): string|false {}
/** @tentative-return-type */
public function write(string $id, string $data): bool {}
/** @tentative-return-type */
public function destroy(string $id): bool {}
/** @tentative-return-type */
public function gc(int $max_lifetime): int|false {}
/** @tentative-return-type */
public function create_sid(): string {}
}
|
