(PHP 4, PHP 5)
readline_write_history — Escribe el historial
Esta función escribe el historial de comandos en un archivo.