Différencier un dossier d'un fichier en PHP
Supposons que vous ayez une chaîne contenant un chemin
vers un fichier ou un dossier. À l'aide des fonctions
spéciales is_file et is_dir, nous
pouvons déterminer si le chemin référence un fichier ou
un dossier.
Elles fonctionnent de la manière suivante :
<?php
$path = 'un chemin quelconque';
var_dump(is_file($path)); // true pour un fichier, false pour un dossier
var_dump(is_dir($path)); // true pour un dossier, false pour un fichier
?>
Supposons qu'un chemin soit donné. Si le chemin mène à un dossier, affichez un message à ce sujet.
Supposons qu'un chemin soit donné. Si le chemin mène à un fichier, affichez un message à ce sujet.
