readline_read_history

(PHP 4 >= 4.0.0)

readline_read_history -- Liest die History

Beschreibung

bool readline_read_history (string dateiname)

Diese Funktion liest eine Kommando-History aus einer Datei.