Directory::rewind

(PHP 4, PHP 5, PHP 7, PHP 8)

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

Description

public Directory::rewind(): void

Historique

Version Description
8.0.0 Aucun paramètre est accepté. Auparavant, un gestionnaire de dossier pouvait être passé comme argument.