Directory::rewind

(PHP 4, PHP 5, PHP 7)

Directory::rewindRé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.