diff --git a/appendices/ini.xml b/appendices/ini.xml index 7e03a19be6..681e2a6968 100644 --- a/appendices/ini.xml +++ b/appendices/ini.xml @@ -418,6 +418,18 @@ PHP_INI_ALL Available since PHP 4.0.5. + + cli.pager + "" + PHP_INI_ALL + Available since PHP 5.4.0. + + + cli.prompt + "\\b \\> " + PHP_INI_ALL + Available since PHP 5.4.0. + coin_acceptor.autoreset "On" diff --git a/reference/readline/ini.xml b/reference/readline/ini.xml new file mode 100644 index 0000000000..04c7584a0f --- /dev/null +++ b/reference/readline/ini.xml @@ -0,0 +1,87 @@ + + + +
+ &reftitle.runtime; + &extension.runtime; + + + Readline &ConfigureOptions; + + + + &Name; + &Default; + &Changeable; + &Changelog; + + + + + cli.pager + "" + PHP_INI_ALL + Available since PHP 5.4.0. + + + cli.prompt + "\\b \\> " + PHP_INI_ALL + Available since PHP 5.4.0. + + + +
+
+ + &ini.descriptions.title; + + + + + + cli.pager + string + + + + External tool to display output from command line. + + + + + + cli.prompt + string + + + + Command line prompt. + + + + + +
+ + diff --git a/reference/readline/setup.xml b/reference/readline/setup.xml index f7df4268bf..2b42c6ceb0 100644 --- a/reference/readline/setup.xml +++ b/reference/readline/setup.xml @@ -26,12 +26,7 @@ &reference.readline.configure; - -
- &reftitle.runtime; - &no.config; -
- + &reference.readline.ini;