(PHP 3, PHP 4 )
void closedir (resource dir_handle)
void closedir
closedir() ferme le pointeur de dossier dir_handle. Le dossier devait avoir été ouvert avec opendir().