I know that I can receive args on a command line/shell script like this:
!#/usr/bin/php
<?php
# file name - process.php
print_r($argv);
But what about redirects as follows:
#> ./process.php < input.txt
How do I read the file, and is input.txt a string argument or some type of file pointer already created?