title: piping data into command line php?
body: <p>It is possible to pipe data using unix pipes into a command-line php script? I've tried</p>
  
  <pre><code>$&gt; data | php script.php
  </code></pre>
  
  <p>But the expected <code>data</code> did not show up in <code>$argv</code>. Is there a way to do this?</p>