array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'it', ), 'this' => array ( 0 => 'function.readline-read-history.php', 1 => 'readline_read_history', 2 => 'Reads the history', ), 'up' => array ( 0 => 'ref.readline.php', 1 => 'Readline Funzioni', ), 'prev' => array ( 0 => 'function.readline-on-new-line.php', 1 => 'readline_on_new_line', ), 'next' => array ( 0 => 'function.readline-redisplay.php', 1 => 'readline_redisplay', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/readline/functions/readline-read-history.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

readline_read_history

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

readline_read_historyReads the history

Descrizione

readline_read_history(?string $filename = null): bool

This function reads a command history from a file.

Elenco dei parametri

filename

Path to the filename containing the command history.

Valori restituiti

Restituisce true in caso di successo, false in caso di fallimento.

Log delle modifiche

Versione Descrizione
8.0.0 filename is nullable now.