note 102100 added to function.readline-list-history
| From: | Anonymous at osu1 dot php dot net | Date: | Thu, 27 Jan 2011 02:17:53 +0000 |
| Subject: | note 102100 added to function.readline-list-history | ||
| Groups: | php.notes | ||
| Request: | Send a blank email to php-notes+get-176373@lists.php.net to get a copy of this message | ||
Note this function is only available when PHP is compiled with libreadline, not if it is compiled
with libedit.
<?php
if (function_exists('readline_list_history')) {
$history = readline_list_history();
// ...
} else {
echo 'Not supported by the compiled library.'.PHP_EOL;
}
?>
----
Server IP: 69.147.83.197
Probable Submitter: 85.228.23.214
----
Manual Page -- http://www.php.net/manual/en/function.readline-list-history.php
Edit -- https://master.php.net/note/edit/102100
Del: integrated -- https://master.php.net/note/delete/102100/integrated
Del: useless -- https://master.php.net/note/delete/102100/useless
Del: bad code -- https://master.php.net/note/delete/102100/bad+code
Del: spam -- https://master.php.net/note/delete/102100/spam
Del: non-english -- https://master.php.net/note/delete/102100/non-english
Del: in docs -- https://master.php.net/note/delete/102100/in+docs
Del: other reasons-- https://master.php.net/note/delete/102100
Reject -- https://master.php.net/note/reject/102100
Search -- https://master.php.net/manage/user-notes.php