(PHP 4, PHP 5, PHP 7)
readline_read_history — Liest die History
$filename
  ] )Diese Funktion liest eine Kommandozeilen-History aus einer Datei.
filenamePfad zur Datei, die die Kommandozeilen-History enthält.
   Gibt bei Erfolg TRUE zurück. Im Fehlerfall wird FALSE zurückgegeben.