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
|
<?php
/** @generate-class-entries */
function session_name(?string $name = null): string|false {}
function session_module_name(?string $module = null): string|false {}
function session_save_path(?string $path = null): string|false {}
function session_id(?string $id = null): string|false {}
function session_create_id(string $prefix = ""): string|false {}
function session_regenerate_id(bool $delete_old_session = false): bool {}
function session_decode(string $data): bool {}
function session_encode(): string|false {}
function session_destroy(): bool {}
function session_unset(): bool {}
function session_gc(): int|false {}
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 = UNKNOWN,
callable $validate_sid = UNKNOWN,
callable $update_timestamp = UNKNOWN
): bool {}
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
{
/** @return bool */
public function open(string $path, string $name);
/** @return bool */
public function close();
/** @return string */
public function read(string $id);
/** @return bool */
public function write(string $id, string $data);
/** @return bool */
public function destroy(string $id);
/** @return int|bool */
public function gc(int $max_lifetime);
}
interface SessionIdInterface
{
/** @return string */
public function create_sid();
}
interface SessionUpdateTimestampHandlerInterface
{
/** @return bool */
public function validateId(string $id);
/** @return bool */
public function updateTimestamp(string $id, string $data);
}
class SessionHandler implements SessionHandlerInterface, SessionIdInterface
{
/** @return bool */
public function open(string $path, string $name) {}
/** @return bool */
public function close() {}
/** @return string */
public function read(string $id) {}
/** @return bool */
public function write(string $id, string $data) {}
/** @return bool */
public function destroy(string $id) {}
/** @return int|bool */
public function gc(int $max_lifetime) {}
/** @return string */
public function create_sid() {}
}
|