MediaWiki
REL1_31
echo_stdin.php
Go to the documentation of this file.
1
<?php
2
3
if
( PHP_SAPI !==
'cli'
) {
4
exit( 1 );
5
}
6
7
$input_data
= stream_get_contents( STDIN );
8
echo
$input_data
;
$input_data
if(PHP_SAPI !=='cli') $input_data
Definition
echo_stdin.php:7
tests
phpunit
includes
shell
bin
echo_stdin.php
Generated on Mon Nov 25 2024 15:36:34 for MediaWiki by
1.10.0