From edeff454567efd08214e3e4f9ca52035a7855464 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Thu, 30 Jun 2011 20:57:25 +0000 Subject: [PATCH] Command line INI settings git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@312733 c90b9560-bf6c-de11-be94-00142212c4b1 --- appendices/ini.xml | 12 +++++ reference/readline/ini.xml | 87 ++++++++++++++++++++++++++++++++++++ reference/readline/setup.xml | 7 +-- 3 files changed, 100 insertions(+), 6 deletions(-) create mode 100644 reference/readline/ini.xml 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;