Month: December 2019

$cnt = 0; $fp = fopen(‘php://stdin’,’r’); while ($line = stream_get_line($fp, 65535, “\n”)) { echo “LINE #” . (++$cnt) . “: ” . $line . “\n”; }