Searched refs:readline (Results 26 – 41 of 41) sorted by relevance
12
4 <?php if (!extension_loaded("readline") || !function_exists('readline_list_history')) die("skip"); …
4 <?php if (!extension_loaded("readline") || !function_exists('readline_read_history')) die("skip"); …
4 <?php if (!extension_loaded("readline") || !function_exists('readline_write_history')) die("skip");…
4 <?php if (!extension_loaded("readline") || !function_exists('readline_callback_handler_install')) d…
4 <?php if (!extension_loaded("readline")) die("skip");
17 CHECK_HEADER_ADD_INCLUDE("editline/readline.h", "CFLAGS_CLI")) {
19 - Optional readline Support - Comfortable Terminal Operation46 **Note:** PHP must be configured with the switch --with-readline for phpdbg to support history, aut…
39 If readline is loaded, you might want to setup completion:
764 cmd = readline(phpdbg_get_prompt()); in phpdbg_read_input()
333 - readline: yes/no - readline enabled or disabled
62 --with-readline \
620 while ((line = readline(ZSTR_VAL(prompt))) != NULL) { in readline_shell_run()
425 EXTENSION: readline
251 readline:
1040 . Fixed bug #77805 (phpdbg build fails when readline is shared). (krakjoe)1647 - readline:
Completed in 26 milliseconds