readline_redisplay
(PHP 5 >= 5.1.0, PHP 7, PHP 8)
readline_redisplay — Redraws the display
Description
Redraws readline to redraw the display.
This function is only available if the readline library PHP was built against supports it. It is not available on Windows.
Parameters
This function has no parameters.
Return Values
No value is returned.
See Also
- readline_callback_handler_install() - Initializes the readline callback interface and terminal, prints the prompt and returns immediately
＋add a note
User Contributed Notes
There are no user contributed notes for this page.
-
0
pcntl_sigtimedwaitWaits for signals, with a timeout
-
0
similar_textCalculate the similarity between two strings
-
0
boolvalGet the boolean value of a variable
-
0
curl_multi_closeClose a set of cURL handles
-
0
imap_bodyRead the message body
-
0
mb_strposFind position of first occurrence of string in a string
-
0
pg_send_prepareSends a request to create a prepared statement with the given parameters, without waiting for completion
-
0
swoole_native_socket_bind
-
0
Arr::prependKeysWith
-
0
zend_versionGets the version of the current Zend engine