--TEST--
PHPT runner supports STDIN section
--STDIN--
Hello World
--FILE--
<?php
$input = file_get_contents('php://stdin');
echo $input;
?>
--EXPECT--
Hello World