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
|
<?php
/** @generate-class-entries */
/**
* @var int
* @cvalue PSFS_PASS_ON
*/
const PSFS_PASS_ON = UNKNOWN;
/**
* @var int
* @cvalue PSFS_FEED_ME
*/
const PSFS_FEED_ME = UNKNOWN;
/**
* @var int
* @cvalue PSFS_ERR_FATAL
*/
const PSFS_ERR_FATAL = UNKNOWN;
/**
* @var int
* @cvalue PSFS_FLAG_NORMAL
*/
const PSFS_FLAG_NORMAL = UNKNOWN;
/**
* @var int
* @cvalue PSFS_FLAG_FLUSH_INC
*/
const PSFS_FLAG_FLUSH_INC = UNKNOWN;
/**
* @var int
* @cvalue PSFS_FLAG_FLUSH_CLOSE
*/
const PSFS_FLAG_FLUSH_CLOSE = UNKNOWN;
class php_user_filter
{
public string $filtername = "";
public mixed $params = "";
/** @var resource|null */
public $stream = null;
/**
* @param resource $in
* @param resource $out
* @param int $consumed
* @tentative-return-type
*/
public function filter($in, $out, &$consumed, bool $closing): int {}
/** @tentative-return-type */
public function onCreate(): bool {}
/** @tentative-return-type */
public function onClose(): void {}
}
final class StreamBucket
{
/**
* @var resource
* @readonly
*/
public $bucket;
/** @readonly */
public string $data;
/** @readonly */
public int $datalen;
/** @readonly */
public int $dataLength;
}
|
