array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'it', ), 'this' => array ( 0 => 'function.readline-add-history.php', 1 => 'readline_add_history', 2 => 'Adds a line to the history', ), 'up' => array ( 0 => 'ref.readline.php', 1 => 'Readline Funzioni', ), 'prev' => array ( 0 => 'function.readline.php', 1 => 'readline', ), 'next' => array ( 0 => 'function.readline-callback-handler-install.php', 1 => 'readline_callback_handler_install', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/readline/functions/readline-add-history.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

readline_add_history

(PHP 4, PHP 5, PHP 7, PHP 8)

readline_add_history — Adds a line to the history

Descrizione

function readline_add_history(string $prompt): true

This function adds a line to the command line history.

Elenco dei parametri

prompt
The line to be added in the history.

Valori restituiti

Always returns true.

Log delle modifiche

Versione Descrizione
8.5.0 The return type is true now; previously, it was bool.