Directory::rewind

(PHP 4, PHP 5, PHP 7)

Directory::rewind — Réinitialise le gestionnaire de dossier

public void Directory::rewind ([ resource $dir_handle ] )

IIdentique à la fonction rewinddir(), seul le paramètre dir_handle vaut par défaut $this.