title: Use a file as STDIO in PHP
body: <p>I am using a PHP script which input lines from user using STDIN. All the lines basically contains string values. So, instead of inputting them each time manually I wish the PHP to use a file as a STDIN such that when the code input a line from STDIN, it will automatically get line from a file one at a time. How, can I do this?</p>