Directory::rewind
(PHP 4, PHP 5, PHP 7, PHP 8)
Directory::rewind — Réinitialise le gestionnaire de dossier
Description
public Directory::rewind(resource
$dir_handle = ?): void
IIdentique à la fonction rewinddir(), seul
le paramètre dir_handle vaut par défaut $this->handle.
add a note
User Contributed Notes
There are no user contributed notes for this page.
