Source of: /manual/en/ref.readline.php
<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/book.readline.inc";
$setup = array (
'home' =>
array (
0 => 'index.php',
1 => 'PHP Manual',
),
'head' =>
array (
0 => 'UTF-8',
1 => 'en',
),
'this' =>
array (
0 => 'ref.readline.php',
1 => 'Readline Functions',
),
'up' =>
array (
0 => 'book.readline.php',
1 => 'GNU Readline',
),
'prev' =>
array (
0 => 'readline.constants.php',
1 => 'Predefined Constants',
),
'next' =>
array (
0 => 'function.readline-add-history.php',
1 => 'readline_add_history',
),
);
$setup["toc"] = $TOC;
$setup["parents"] = $PARENTS;
manual_setup($setup);
manual_header();
?>
<div>
<h1 class="title">Readline Functions</h1>
<h2>Table of Contents</h2><ul class="chunklist chunklist_reference"><li><a href="function.readline-add-history.php">readline_add_history</a> — Adds a line to the history</li><li><a href="function.readline-callback-handler-install.php">readline_callback_handler_install</a> — Initializes the readline callback interface and terminal, prints the prompt and returns immediately</li><li><a href="function.readline-callback-handler-remove.php">readline_callback_handler_remove</a> — Removes a previously installed callback handler and restores terminal settings</li><li><a href="function.readline-callback-read-char.php">readline_callback_read_char</a> — Reads a character and informs the readline callback interface when a line is received</li><li><a href="function.readline-clear-history.php">readline_clear_history</a> — Clears the history</li><li><a href="function.readline-completion-function.php">readline_completion_function</a> — Registers a completion function</li><li><a href="function.readline-info.php">readline_info</a> — Gets/sets various internal readline variables</li><li><a href="function.readline-list-history.php">readline_list_history</a> — Lists the history</li><li><a href="function.readline-on-new-line.php">readline_on_new_line</a> — Inform readline that the cursor has moved to a new line</li><li><a href="function.readline-read-history.php">readline_read_history</a> — Reads the history</li><li><a href="function.readline-redisplay.php">readline_redisplay</a> — Redraws the display</li><li><a href="function.readline-write-history.php">readline_write_history</a> — Writes the history</li><li><a href="function.readline.php">readline</a> — Reads a line</li></ul>
</div>
<?php manual_footer(); ?>
