diff --git a/features/commandline.xml b/features/commandline.xml index ea7e6e0b3a..75e5e543c1 100644 --- a/features/commandline.xml +++ b/features/commandline.xml @@ -1,5 +1,5 @@ - + Using PHP from the command line @@ -226,7 +226,11 @@ opening it with ]]> @@ -238,7 +242,11 @@ $stdin = fopen('php://stdin', 'r'); opening it with ]]> @@ -250,7 +258,11 @@ $stdout = fopen('php://stdout', 'w'); opening it with ]]> @@ -263,7 +275,7 @@ $stderr = fopen('php://stderr', 'w'); Given the above, you don't need to open e.g. a stream for stderr yourself but simply use the constant instead of the stream resource: - + @@ -283,8 +295,8 @@ php -r 'fwrite(STDERR, "stderr\n");' ]]> @@ -476,7 +488,7 @@ array(2) { ]]> @@ -1101,7 +1113,9 @@ This is a command line PHP script with one option. Batch file to run a command line PHP script (script.bat) +