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 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.6 $ --> +<!-- $Revision: 1.7 $ --> <reference id="ref.readline"> <title>GNU Readline</title> <titleabbrev>Readline</titleabbrev> @@ -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 - <link linkend="features.commandline">using PHP from the command line</link>. + but may be useful when writing scripts used from a + <link linkend="features.commandline">command line</link>. </para> ¬e.no-windows.extension; </section>