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): true {} 17 18function readline_clear_history(): true {} 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#ifdef HAVE_RL_CALLBACK_READ_CHAR 36function readline_callback_handler_install(string $prompt, callable $callback): true {} 37 38function readline_callback_read_char(): void {} 39 40function readline_callback_handler_remove(): bool {} 41 42function readline_redisplay(): void {} 43 44#ifdef HAVE_RL_ON_NEW_LINE 45function readline_on_new_line(): void {} 46#endif 47#endif 48
