Directory::close

(PHP 4, PHP 5, PHP 7)

Directory::close — Ferme le gestionnaire de dossier

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

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