Home
My Account
About us
Products
Support Services
Buy online
Downloads
Overview
KB
Technical FAQ
PHP Manual
CSS2 Manual
HTML Manual
JS Guide
JS Reference
PhpDock Manual
Nu-Coder Manual
PhpExpress Manual
PHP Joomla
Development
Learn PHP
PHP Manual
Readline
readline_add_history
readline_callback_handler
_install
readline_callback_handler
_remove
readline_callback_read_char
readline_clear_history
readline_completion_function
readline_info
readline_list_history
readline_on_new_line
readline_read_history
readline_redisplay
readline_write_history
readline
readline_redisplay
readline
Last updated: Tue, 19 Sep 2006
readline_write_history
(PHP 4, PHP 5)
readline_write_history -- Writes the history
Description
bool
readline_write_history
( [string filename] )
This function writes the command history to a file.
readline_redisplay
readline
Last updated: Tue, 19 Sep 2006