1:

if(is_file("file.jpg"){ ... }

1: 
2: 
3: 
4: 
5: 
6: 
7: 
8: 
9: 
10: 
11: 
12: 
13: 
14: 
15:

//Bildverzeichnis / Ausgabeverzeichnis für Thumbnails / erlaubte Dateitypen festlegen
$PicPathIn = "randompics/";
$PicPathOut = "randompics/thumbnails/";
$array_types = array('jpg');

//Einlesen aller erlaubten Dateien in das Array $dateien
$dir = opendir("$PicPathIn");
while (($file = readdir($dir)) != false) {
if (preg_match("/^index/", $file)) continue;
if (preg_match("/\.\.?$/", $file)) continue;
foreach($array_types as $typ) {
if (preg_match("/\.".$typ."$/i", $file))
$dateien[] = $file;
};
};