1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
<?php
// Start of readline v.5.6.0
/**
* Reads a line
* @link http://www.php.net/manual/en/function.readline.php
* @param prompt string[optional] <p>
* You may specify a string with which to prompt the user.
* </p>
* @return string a single string from the user. The line returned has the ending
* newline removed.
*/
function readline ($prompt = null) {}
/**
* Gets/sets various internal readline variables
* @link http://www.php.net/manual/en/function.readline-info.php
* @param varname string[optional] <p>
* A variable name.
* </p>
* @param newvalue string[optional] <p>
* If provided, this will be the new value of the setting.
* </p>
* @return mixed If called with no parameters, this function returns an array of
* values for all the setting readline uses. The elements will
* be indexed by the following values: done, end, erase_empty_line,
* library_version, line_buffer, mark, pending_input, point, prompt,
* readline_name, and terminal_name.
* </p>
* <p>
* If called with one or two parameters, the old value is returned.
*/
function readline_info ($varname = null, $newvalue = null) {}
/**
* Adds a line to the history
* @link http://www.php.net/manual/en/function.readline-add-history.php
* @param line string <p>
* The line to be added in the history.
* </p>
* @return bool Returns true on success, false on failure.
*/
function readline_add_history ($line) {}
/**
* Clears the history
* @link http://www.php.net/manual/en/function.readline-clear-history.php
* @return bool Returns true on success, false on failure.
*/
function readline_clear_history () {}
/**
* Lists the history
* @link http://www.php.net/manual/en/function.readline-list-history.php
* @return array an array of the entire command line history. The elements are
* indexed by integers starting at zero.
*/
function readline_list_history () {}
/**
* Reads the history
* @link http://www.php.net/manual/en/function.readline-read-history.php
* @param filename string[optional] <p>
* Path to the filename containing the command history.
* </p>
* @return bool Returns true on success, false on failure.
*/
function readline_read_history ($filename = null) {}
/**
* Writes the history
* @link http://www.php.net/manual/en/function.readline-write-history.php
* @param filename string[optional] <p>
* Path to the saved file.
* </p>
* @return bool Returns true on success, false on failure.
*/
function readline_write_history ($filename = null) {}
/**
* Registers a completion function
* @link http://www.php.net/manual/en/function.readline-completion-function.php
* @param function callable <p>
* You must supply the name of an existing function which accepts a
* partial command line and returns an array of possible matches.
* </p>
* @return bool Returns true on success, false on failure.
*/
function readline_completion_function ($function) {}
/**
* Initializes the readline callback interface and terminal, prints the prompt and returns immediately
* @link http://www.php.net/manual/en/function.readline-callback-handler-install.php
* @param prompt string <p>
* The prompt message.
* </p>
* @param callback callable <p>
* The callback function takes one parameter; the
* user input returned.
* </p>
* @return bool Returns true on success, false on failure.
*/
function readline_callback_handler_install ($prompt, $callback) {}
/**
* Reads a character and informs the readline callback interface when a line is received
* @link http://www.php.net/manual/en/function.readline-callback-read-char.php
* @return void
*/
function readline_callback_read_char () {}
/**
* Removes a previously installed callback handler and restores terminal settings
* @link http://www.php.net/manual/en/function.readline-callback-handler-remove.php
* @return bool true if a previously installed callback handler was removed, or
* false if one could not be found.
*/
function readline_callback_handler_remove () {}
/**
* Redraws the display
* @link http://www.php.net/manual/en/function.readline-redisplay.php
* @return void
*/
function readline_redisplay () {}
define ('READLINE_LIB', "readline");
// End of readline v.5.6.0
?>
|
