PHP version itertools