Directory::rewind
(PHP 4, PHP 5)
Directory::rewind — Réinitialise le gestionnaire de dossier
Description
public void Directory::rewind
([ resource
$dir_handle
] )
IIdentique à la fonction rewinddir(), seul
le paramètre dir_handle vaut par défaut $this.