Directory::rewind

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

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

    Description

    publicDirectory::rewind(): void

    Historique

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