blob: a375ef444e8589cd3a29cd1f9004beea54bd3ece (
plain)
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
|
<?php
/** @generate-function-entries */
function readline(?string $prompt = null): string|false {}
/**
* @param int|string|bool|null $newvalue
* @return array|int|string|bool|null
*/
function readline_info(?string $varname = null, $newvalue = null): mixed {}
function readline_add_history(string $prompt): bool {}
function readline_clear_history(): bool {}
#ifdef HAVE_HISTORY_LIST
function readline_list_history(): array {}
#endif
function readline_read_history(?string $filename = null): bool {}
function readline_write_history(?string $filename = null): bool {}
/**
* @param callable $funcname
*/
function readline_completion_function($funcname): bool {}
#if HAVE_RL_CALLBACK_READ_CHAR
/**
* @param callable $callback
*/
function readline_callback_handler_install(string $prompt, $callback): bool {}
function readline_callback_read_char(): void {}
function readline_callback_handler_remove(): bool {}
function readline_redisplay(): void {}
#if HAVE_RL_ON_NEW_LINE
function readline_on_new_line(): void {}
#endif
#endif
|