Search Results
Redraws the display readline_redisplay (PHP 5 >= 5.1.0, PHP 7, PHP 8) readline_redisplay — Redraws the display
readline_redisplay · Readline · PHP · osbo.com Elements !doctype a abbr address area article aside audio b base bdi bdo blockquote body br button canvas caption cite code col colgroup data datalist dd del details dfn dialog div dl dt em embed fieldset figcaption figure footer form h1 h2 h3 h4 h5 h6 head header hgroup hr html i iframe img input ins kbd label legend li link main map mark menu ...
readline_redisplay Supported Versions: PHP 5 >= 5.1.0, PHP 7, PHP 8 Redraws the display
Liste de paramètres Cette fonction ne contient aucun paramètre. Valeurs de retour Aucune valeur n'est retournée.
GNU Readline readline - Reads a line readline_add_history - Adds a line to the history readline_callback_handler_install - Initializes the readline callback interface and terminal, prints the prompt and returns immediately readline_callback_handler_remove - Removes a previously installed callback handler and restores terminal settings
readline_list_history — Lists the history readline_on_new_line — Inform readline that the cursor has moved to a new line readline_read_history — Reads the history readline_redisplay — Redraws the display readline_write_history — Writes the history readline — Reads a line PHP Manual
readline_info — Gets/sets various internal readline variables readline_list_history — Lists the history readline_on_new_line — Inform readline that the cursor has moved to a new line readline_read_history — Reads the history readline_redisplay — Redraws the display readline_write_history — Writes the history
