mirror of
https://github.com/php/php-src.git
synced 2024-09-22 02:17:32 +00:00
26af806828
Closes GH-6240
41 lines
983 B
PHP
41 lines
983 B
PHP
<?php
|
|
|
|
/** @generate-function-entries */
|
|
|
|
function readline(?string $prompt = null): string|false {}
|
|
|
|
/**
|
|
* @param int|string|bool|null $value
|
|
* @return array|int|string|bool|null
|
|
*/
|
|
function readline_info(?string $var_name = null, $value = 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 {}
|
|
|
|
function readline_completion_function(callable $callback): bool {}
|
|
|
|
|
|
#if HAVE_RL_CALLBACK_READ_CHAR
|
|
function readline_callback_handler_install(string $prompt, callable $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
|