readline.stub.php 991 B

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