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