xref: /PHP-8.2/ext/readline/readline.stub.php (revision c854816b)
1<?php
2
3/** @generate-class-entries */
4
5/**
6 * @var string
7 * @cvalue READLINE_LIB
8 */
9const READLINE_LIB = UNKNOWN;
10
11function readline(?string $prompt = null): string|false {}
12
13/** @param int|string|bool|null $value */
14function readline_info(?string $var_name = null, $value = null): mixed {}
15
16function readline_add_history(string $prompt): bool {}
17
18function readline_clear_history(): bool {}
19
20#ifdef HAVE_HISTORY_LIST
21/**
22 * @return array<int, string>
23 * @refcount 1
24 */
25function readline_list_history(): array {}
26#endif
27
28function readline_read_history(?string $filename = null): bool {}
29
30function readline_write_history(?string $filename = null): bool {}
31
32function readline_completion_function(callable $callback): bool {}
33
34
35#if HAVE_RL_CALLBACK_READ_CHAR
36function readline_callback_handler_install(string $prompt, callable $callback): bool {}
37
38function readline_callback_read_char(): void {}
39
40function readline_callback_handler_remove(): bool {}
41
42function readline_redisplay(): void {}
43
44#if HAVE_RL_ON_NEW_LINE
45function readline_on_new_line(): void {}
46#endif
47#endif
48