file iterator for PHP
