array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'function.rmdir.php', 1 => 'rmdir', ), 'up' => array ( 0 => 'ref.filesystem.php', 1 => 'Fonctions sur les systèmes de fichiers', ), 'prev' => array ( 0 => 'function.rewind.php', 1 => 'rewind', ), 'next' => array ( 0 => 'function.set-file-buffer.php', 1 => 'set_file_buffer', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/filesystem/functions/rmdir.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
(PHP 4, PHP 5, PHP 7, PHP 8)
rmdir — Efface un dossier
Tente d'effacer le dossier dont le chemin est
directory
. Le dossier doit être vide,
et le script doit avoir les autorisations adéquates.
Une alerte de niveau E_WARNING
sera générée
en cas d'échec.
directory
Le chemin vers le dossier.
context
Note: Une resource de contexte de flux.
Exemple #1 Exemple avec rmdir()
<?php
if (!is_dir('examples')) {
mkdir('examples');
}
rmdir('examples');
?>