fork(11) download
  1. <?php
  2. $foo = file_get_contents('php://stdin', "r");
  3. $foo = preg_replace( '/\h+/', ' ', $foo );
  4. echo $foo;
  5. ?>
Success #stdin #stdout 0.01s 20520KB
stdin
Hello     very 
world 
stdout
Hello very 
world