[PHP-DOC] cvs: phpdoc /en/reference/readline reference.xml
tony2001Wed Jan 24 20:50:23 2007 UTC Modified files: /phpdoc/en/reference/readline reference.xml Log: in this particular case "readline" is used not as a function name, but as a name of the extension http://cvs.php.net/viewvc.cgi/phpdoc/en/reference/readline/reference.xml?r1=1.9&r2=1.10&diff_format=u Index: phpdoc/en/reference/readline/reference.xml diff -u phpdoc/en/reference/readline/reference.xml:1.9 phpdoc/en/reference/readline/reference.xml:1.10 --- phpdoc/en/reference/readline/reference.xml:1.9 Sun Sep 4 19:39:26 2005 +++ phpdoc/en/reference/readline/reference.xml Wed Jan 24 20:50:23 2007 @@ -1,5 +1,5 @@ - + @@ -11,7 +11,7 @@ &reftitle.intro; - The readline functions implement an interface + The readline functions implement an interface to the GNU Readline library. These are functions that provide editable command lines. An example being the way Bash allows you to use the arrow keys to insert characters or scroll through
[PHP-DOC] cvs: phpdoc /en/reference/readline reference.xml
rioter Fri Dec 17 10:53:54 2004 EDT Modified files: /phpdoc/en/reference/readline reference.xml Log: s/this/these http://cvs.php.net/diff.php/phpdoc/en/reference/readline/reference.xml?r1=1.7&r2=1.8&ty=u Index: phpdoc/en/reference/readline/reference.xml diff -u phpdoc/en/reference/readline/reference.xml:1.7 phpdoc/en/reference/readline/reference.xml:1.8 --- phpdoc/en/reference/readline/reference.xml:1.7 Wed Nov 3 02:27:47 2004 +++ phpdoc/en/reference/readline/reference.xml Fri Dec 17 10:53:53 2004 @@ -1,5 +1,5 @@ - + GNU Readline Readline @@ -29,7 +29,7 @@ It's maintained by Chet Ramey, who's also the author of Bash. - You can also use this functions with the libedit library, a non-GPL + You can also use these functions with the libedit library, a non-GPL replacement for the readline library. The libedit library is BSD licensed and available for download from &url.libedit;.
[PHP-DOC] cvs: phpdoc /en/reference/readline reference.xml
aidan Wed Nov 3 02:27:47 2004 EDT Modified files: /phpdoc/en/reference/readline reference.xml Log: Fix typo http://cvs.php.net/diff.php/phpdoc/en/reference/readline/reference.xml?r1=1.6&r2=1.7&ty=u Index: phpdoc/en/reference/readline/reference.xml diff -u phpdoc/en/reference/readline/reference.xml:1.6 phpdoc/en/reference/readline/reference.xml:1.7 --- phpdoc/en/reference/readline/reference.xml:1.6 Fri Dec 19 10:49:49 2003 +++ phpdoc/en/reference/readline/reference.xml Wed Nov 3 02:27:47 2004 @@ -1,5 +1,5 @@ - + GNU Readline Readline @@ -14,8 +14,8 @@ to use the arrow keys to insert characters or scroll through command history. Because of the interactive nature of this library, it will be of little use for writing Web applications, - but may be useful when writing scripts meant - using PHP from the command line. + but may be useful when writing scripts used from a + command line. ¬e.no-windows.extension;
[PHP-DOC] cvs: phpdoc /en/reference/readline reference.xml
nlopess Sun Dec 14 14:33:07 2003 EDT Modified files: /phpdoc/en/reference/readline reference.xml Log: fix #26619 Index: phpdoc/en/reference/readline/reference.xml diff -u phpdoc/en/reference/readline/reference.xml:1.4 phpdoc/en/reference/readline/reference.xml:1.5 --- phpdoc/en/reference/readline/reference.xml:1.4 Mon Dec 2 07:55:38 2002 +++ phpdoc/en/reference/readline/reference.xml Sun Dec 14 14:33:07 2003 @@ -1,5 +1,5 @@ - + GNU Readline Readline @@ -32,7 +32,7 @@ You can also use this functions with the libedit library, a non-GPL replacement for the readline library. The libedit library is BSD licensend and available for download from - &url.libedit;. + &url.libedit;.