A simple extension of the PHP \DirectoryIterator class