(PHP 4 >= 4.0b4)
bool readline_write_history (string dateiname)
bool readline_write_history
Diese Funktion schreibt die Kommando-History in eine Datei.