(PHP 4, PHP 5)
readline_read_history — Reads the history
$filename
  ] )This function reads a command history from a file.
filenamePath to the filename containing the command history.
   Restituisce TRUE in caso di successo, FALSE in caso di fallimento.