1--TEST--
2PHPT runner supports STDIN section
3--STDIN--
4Hello World
5--FILE--
6<?php
7$input = file_get_contents('php://stdin');
8echo $input;
9?>
10--EXPECT--
11Hello World
12