Directory::close
(PHP 4, PHP 5)
Directory::close — Ferme le gestionnaire de dossier
Description
public void Directory::close
([ resource
$dir_handle
] )
Identique à la fonction closedir(), seul
le paramètre dir_handle vaut par défaut $this.