1.2.1574. ext/readline¶
Extension readline.
The readline functions implement an interface to the GNU Readline library. These are functions that provide editable command lines.
<?php
//get 3 commands from user
for ($i=0; $i < 3; $i++) {
$line = readline("Command: ");
readline_add_history($line);
}
//dump history
print_r(readline_list_history());
//dump variables
print_r(readline_info());
?>
See also ext/readline and The GNU Readline Library.
1.2.1574.1. Specs¶
Short name |
Extensions/Extreadline |
Rulesets |
|
Exakat since |
0.8.4 |
PHP Version |
All |
Severity |
|
Time To Fix |
|
Precision |
Very high |
Available in |