php-paged-iterator-interface