php man page for readline_add_history

READLINE_ADD_HISTORY(3) 						 1						   READLINE_ADD_HISTORY(3)

readline_add_history - Adds a line to the history

SYNOPSIS
       bool readline_add_history (string  $line)

DESCRIPTION
	This function adds a line to the command line history.

PARAMETERS
	      o $line
		- The line to be added in the history.

RETURN VALUES
	Returns TRUE on success or FALSE on failure.

PHP Documentation Group 												   READLINE_ADD_HISTORY(3)