Readline
PHP Manual

readline_write_history

(PHP 4, PHP 5)

readline_write_history — Escribe el historial

Descripción

boolean readline_write_history ( string $filename )

Esta función escribe el historial de comandos en un archivo.


Readline
PHP Manual