Directory::close

(PHP 4, PHP 5, PHP 7)

Directory::close — Ferme le gestionnaire de dossier

Description

public Directory::close ([ resource $dir_handle ] ) : void

Identique à la fonction closedir(), seul le paramètre dir_handle vaut par défaut $this->handle.