Directory
PHP Manual

Directory::rewind

(No version information available, might only be in SVN)

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


Directory
PHP Manual