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
|
<?php
/** @return resource|false */
function dba_popen($path, $mode, $handlername = UNKNOWN, ...$handler_parameters) {}
/** @return resource|false */
function dba_open($path, $mode, $handlername = UNKNOWN, ...$handler_parameters) {}
/** @param resource $handle */
function dba_close($handle): void {}
/**
* @param string|array $key
* @param resource $handle
*/
function dba_exists($key, $handle): bool {}
/**
* @param string|array $key
* @param int|resource $skip actually this parameter is optional, not $handle
* @param resource $handle
*/
function dba_fetch($key, $skip, $handle = UNKOWN): string|false {}
function dba_key_split(string $key): array|false {}
/** @param resource $handle */
function dba_firstkey($handle): string|false {}
/** @param resource $handle */
function dba_nextkey($handle): string|false {}
/**
* @param string|array $key
* @param resource $handle
*/
function dba_delete($key, $handle): bool {}
/**
* @param string|array $key
* @param resource $handle
*/
function dba_insert($key, string $value, $handle): bool {}
/**
* @param string|array $key
* @param resource $handle
*/
function dba_replace($key, string $value, $handle): bool {}
/** @param resource $handle */
function dba_optimize($handle): bool {}
/** @param resource $handle */
function dba_sync($handle): bool {}
function dba_handlers(bool $full_info = false): array {}
function dba_list(): array {}
|
